Theory and Application of Satisfiability Testing -- SAT

View Statistics Email Alert RSS Feed

Description

Event name
Theory and Application of Satisfiability Testing -- SAT
 
Event type
Event for scientific audience
 
Start date
12-05-2008
End date
15-05-2008
 
Location
Guangzhou
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Author:  Szeider, Stefan

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

PreviewAuthor(s)TitleTypeIssue Date
1Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan A SAT Approach to BranchwidthKonferenzbeitrag Inproceedings 2016
2Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Proof Complexity of Fragments of Long-Distance Q-ResolutionKonferenzbeitrag Inproceedings 2019
3Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)Konferenzbeitrag Inproceedings 2011