Pascal Fontaine

Identifiers

• name variant Pascal Fontaine 0.60 · backfill

Papers (3)

1. The TPTP Format for Interpretations cs.LO · 2024 · author #3
2. Subtropical Satisfiability cs.LO · 2017 · author #1
3. Adapting Real Quantifier Elimination Methods for Conflict Set Computation cs.LO · 2015 · author #3

Mentions

• 1511.01123 #3 · backfill · confidence 0.70 Pascal Fontaine
• 2406.06108 #3 · arxiv_oai · confidence 0.70 Pascal Fontaine

Frequent Coauthors

• Alexander Steen 1 shared papers
• Geoff Sutcliffe 1 shared papers
• Lydia Kondylidou 1 shared papers
• Maximilian Jaroschek 1 shared papers
• Mizuhito Ogawa 1 shared papers
• Pablo Federico Dobal 1 shared papers
• Thomas Sturm 1 shared papers
• Xuan Tung Vu 1 shared papers