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

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

PreviewAuthor(s)TitleTypeIssue Date
1Creignou, Nadia ; Daudé, Hervé ; Egly, Uwe ; Rossignol, Raphaël (1,2)-QSAT: A Good Candidate for Understanding Phase Transitions MechanismsKonferenzbeitrag Inproceedings 2009
2Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan A SAT Approach to BranchwidthKonferenzbeitrag Inproceedings 2016
3Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan CEGARTIX: A SAT-Based Argumentation SystemPräsentation Presentation2012
4Creignou, Nadia ; Daude, Herve ; Egly, Uwe ; Rossignol, Raphael New Results on the Phase Transition for Random Quantified Boolean FormulasKonferenzbeitrag Inproceedings 2008
5Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Proof Complexity of Fragments of Long-Distance Q-ResolutionKonferenzbeitrag Inproceedings 2019
6Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)Konferenzbeitrag Inproceedings 2011
7Fichte, Johannes K. ; Meier, Arne ; Schindler, Irina Strong Backdoors for Default LogicKonferenzbeitrag Inproceedings 2016