Pascal Fontaine

Available identifiers

zbMath Open fontaine.pascalMaRDI QIDQ436375

List of research outcomes

Publication	Date of Publication	Type
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates	2024-04-26	Paper
Universal first-order quantification over automata	2024-02-28	Paper
Politeness for the theory of algebraic datatypes	2022-11-09	Paper
Polite combination of algebraic datatypes	2022-10-24	Paper
Quantifier simplification by unification in SMT	2022-03-24	Paper
Congruence Closure with Free Variables	2020-08-05	Paper
Theory combination: beyond equality sharing	2020-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q5219923	2020-03-09	Paper
Politeness and combination methods for theories with bridging functions	2020-03-03	Paper
Scalable fine-grained proofs for formula processing	2020-03-03	Paper
Revisiting enumerative instantiation	2019-09-16	Paper
NP-completeness of small conflict set generation for congruence closure	2018-01-08	Paper
Subtropical satisfiability	2018-01-04	Paper
Scalable fine-grained proofs for formula processing	2017-09-22	Paper
Satisfiability checking and symbolic computation	2017-06-21	Paper
Adapting Real Quantifier Elimination Methods for Conflict Set Computation	2017-02-27	Paper
A Rewriting Approach to the Combination of Data Structures with Bridging Theories	2017-02-27	Paper
$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation	2016-08-30	Paper
A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited	2015-12-02	Paper
Modal Satisfiability via SMT Solving	2015-06-22	Paper
Combining Decision Procedures by (Model-)Equality Propagation	2015-03-19	Paper
A Gentle Non-disjoint Combination of Satisfiability Procedures	2014-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848056	2013-09-25	Paper
Combination of Disjoint Theories: Beyond Decidability	2012-09-05	Paper
Combining decision procedures by (model-)equality propagation	2012-07-20	Paper
Combining Theories: The Ackerman and Guarded Fragments	2011-10-07	Paper
Exploiting Symmetry in SMT Problems	2011-07-29	Paper
Compression of Propositional Resolution Proofs via Partial Regularization	2011-07-29	Paper
Combinations of Theories for Decidable Fragments of First-Order Logic	2010-01-07	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4428300	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4417916	2003-07-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pascal Fontaine