International Conference on the Theory and Applications of Satisfiability Testing

Event name
International Conference on the Theory and Applications of Satisfiability Testing
 
Event type
Event for scientific audience
 
Start date
17-06-2012
End date
20-06-2012
 
Location
Trento, Italien
Trento, Italien
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Schlaipfer, Matthias ; Slivovsky, Friedrich ; Weissenbacher, Georg ; Zuleger, Florian Multi-linear Strategy Extraction for QBF Expansion Proofs via Local SoundnessKonferenzbeitrag Inproceedings 2020
2Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich On Compiling CNFs into Structured Deterministic DNNFsKonferenzbeitrag Inproceedings 2015
3Egly, Uwe On Sequent Systems and Resolution for QBFsKonferenzbeitrag Inproceedings 2012
4Balabanov, Valeriy ; Widl, Magdalena ; Jiang, Jie-Hong R. QBF Resolution Systems and Their Proof ComplexitiesKonferenzbeitrag Inproceedings 2014