Name Card

Full name Familienname, Vorname
Sinz, Carsten
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Balabanov, Valeriy ; Widl, Magdalena ; Jiang, Jie-Hong R. QBF Resolution Systems and Their Proof ComplexitiesKonferenzbeitrag Inproceedings 2014
2Sinz, Carsten ; Egly, Uwe Theory and Applications of Satisfiability Testing – SAT 2014Konferenzband Proceedings2014