Person:436375

Available identifiers

zbMath Open fontaine.pascalMaRDI QIDQ436375

List of research outcomes

Publication	Date of Publication	Type
Non-emptiness test for automata over words indexed by the reals and rationals	2025-01-20	Paper
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

This page was built for person: Pascal Fontaine