Name Card

Full name Familienname, Vorname
Fontaine, Pascal
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Janota-2021-Fair and Adventurous Enumeration of Quantifier Instantiations-vor.pdf.jpgJanota, Mikoláš ; Barbosa, Haniel ; Fontaine, Pascal ; Reynolds, Andrew Fair and Adventurous Enumeration of Quantifier InstantiationsInproceedings Konferenzbeitrag Oct-2021
2Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Deharbe, David Quantifier Inference Rules for SMT ProofsPräsentation Presentation2011
3Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Merz, Stephan Compression of Propositional Resolution Proofs via Partial RegularizationKonferenzbeitrag Inproceedings2011
4Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Merz, Stephan ; Deharbe, David Exploiting Symmetry in SMT ProblemsKonferenzbeitrag Inproceedings2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gleiss, Bernhard ; Suda, Martin Layered Clause Selection for Theory ReasoningKonferenzbeitrag Inproceedings 2020
2Seidl, Martina ; Lonsing, Florian ; Biere, Armin qbf2epr: A Tool for Generating EPR Formulas from QBFKonferenzbeitrag Inproceedings2012