Pascal Fontaine

Pascal Fontaine

laboratoire lorrain de recherche en informatique et ses applications - / France
Others
AD Scientific Index ID: 4424518
Lorraine laboratory for research in computer science and its applications
person_outline Pascal Fontaine's MOST POPULAR ARTICLES
1-) veriT: an open, trustable and efficient SMT-solver International Conference on Automated Deduction, 151-156, 2009
2-) Revisiting enumerative instantiation Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
3-) SMT solvers for Rodin International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
4-) Exploiting symmetry in SMT problems International Conference on Automated Deduction, 222-236, 2011
5-) Exploiting symmetry in SMT problemsD Déharbe, P Fontaine, S Merz, B Woltzenlogel PaleoInternational Conference on Automated Deduction, 222-236, 2011612011