Theory and Application of Satisfiability Testing -- SAT

Event name

Event type

Event for scientific audience

Start date

12-05-2008

End date

15-05-2008

Location

Guangzhou

Country

Event format Veranstaltungsformat

On Site

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

	Authors / Editors	Title	Type	Issue Date
1	Creignou, Nadia ; Daudé, Hervé ; Egly, Uwe ; Rossignol, Raphaël ; Kullmann, Oliver	(1,2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms	Konferenzbeitrag Inproceedings	2009
2	Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan	A SAT Approach to Branchwidth	Konferenzbeitrag Inproceedings	2016
3	Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan	CEGARTIX: A SAT-Based Argumentation System	Präsentation Presentation	2012
4	Creignou, Nadia ; Daude, Herve ; Egly, Uwe ; Rossignol, Raphael	New Results on the Phase Transition for Random Quantified Boolean Formulas	Konferenzbeitrag Inproceedings	2008
5	Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan	Proof Complexity of Fragments of Long-Distance Q-Resolution	Konferenzbeitrag Inproceedings	2019
6	Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan	Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)	Konferenzbeitrag Inproceedings	2011
7	Fichte, Johannes K. ; Meier, Arne ; Schindler, Irina ; Creignou, Nadia ; Le Berre, Daniel	Strong Backdoors for Default Logic	Konferenzbeitrag Inproceedings	2016