Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling
Book title Buchtitel
Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling
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 |