Proceedings of the conference on Design, automation and test in Europe - Volume 1
A solver for QBFs in negation normal form
Constraints
A Solver for QBFs in Nonprenex Form
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Hi-index | 0.00 |