Int. Conference on Theory and Applications of Satisfiability Testing

Event name
Int. Conference on Theory and Applications of Satisfiability Testing
 
Event type
Event for scientific audience
 
Start date
17-06-2012
End date
20-06-2012
 
Location
Trento
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Combining Resolution-Path Dependencies with Dependency LearningKonferenzbeitrag Inproceedings 2019
2Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Resolution-Based Certificate Extraction for QBFKonferenzbeitrag Inproceedings 2012