Guangzhou Symposioum on Satisfiability in Logic-Based Modeling
Event name
Guangzhou Symposioum on Satisfiability in Logic-Based Modeling
Start date
24-09-2006
End date
27-09-2006
Location
Guangzhou, China
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Egly, Uwe ; Seidl, Martina ; Woltran, Stefan | A Solver for QBFs in Nonprenex Form: Overview and Experimental Results | Konferenzbeitrag Inproceedings | 2006 | |
| 2 | Creignou, Nadia ; Daude, Herve ; Egly, Uwe | Phase Transition for Random Quantified XOR-formulas | Konferenzbeitrag Inproceedings | 2006 |