Full name Familienname, Vorname
Merz, Stephan
 

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 ; Merz, Stephan Compression of Propositional Resolution Proofs via Partial RegularizationKonferenzbeitrag Inproceedings2011

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

PreviewEditor(s)TitleTypeIssue Date
1Charron-Bost, Bernadette ; Merz, Stephan ; Rybalchenko, Andrey ; Widder, Josef Formal Verification of Distributed AlgorithmsKonferenzband Proceedings2013