Fontaine, Pascal
Fontaine, Pascal, 19..-...., informaticien
VIAF ID: 121150746954716300590 ( Personal )
Permalink: http://viaf.org/viaf/121150746954716300590
Preferred Forms
- 100 1 _ ‡a Fontaine, Pascal
- 100 1 _ ‡a Fontaine, Pascal
- 100 1 _ ‡a Fontaine, Pascal, ‡d 19..-...., ‡c informaticien
Works
Title | Sources |
---|---|
Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings | |
[ErgoFast] Improving performance of the SMT solver Alt-Ergo with a better integration of efficient SAT solver. | |
Exploitation of dynamic symmetries for solving SAT problems. | |
Frontiers of combining systems, (Springer) | |
Integrating Automated Theorem Provers in Proof Assistants | |
Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT. | |
Méthodes pour le raisonnement d'ordre supérieur dans SMT | |
Methods for Higher-Order reasoning in SMT. | |
New techniques for instantiation and proof production in SMT solving. | |
Nouvelles techniques pour l'instanciation et la production des preuves dans SMT | |
Raisonnement abductif modulo des théories et application à la vérification de programmes | |
Stronger SMT Solvers for Proof Assistants : Proofs, Quantifier Simplification, Strategy Schedules | |
Utiliser des démonstrateurs automatiques dans un assistant à la preuve. |