Name Card

Full name Familienname, Vorname
Wintersteiger, Christoph M.
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Suda, Martin ; Gleiss, Bernhard Local Soundness for QBF CalculiKonferenzbeitrag Inproceedings 2018
2Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Polynomial-Time Validation of QCDCL CertificatesKonferenzbeitrag Inproceedings 2018