Name Card

Full name Familienname, Vorname
Deharbe, David
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Merz, Stephan ; Deharbe, David Exploiting Symmetry in SMT ProblemsKonferenzbeitrag Inproceedings2011
2Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Deharbe, David Quantifier Inference Rules for SMT ProofsPräsentation Presentation2011