Proceedings of the ECAI 2006
Book title Buchtitel
Proceedings of the ECAI 2006
Publisher Herausgeber
IOS Press
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Egly, Uwe ; Seidl, Martina ; Woltran, Stefan | A Solver for QBFs in Nonprenex Form | Konferenzbeitrag Inproceedings  | 2006 |