qesto

Submitter: Mikolas Janota
Description: Devised by Mikolas Janota, is an implementation of the QCNF algorithm presented in
Janota, M., Marques-Silva, J.: Solving QBF by clause selection. In: Proceedings of IJCAI. (2015) 325331
The submitted version includes bloqqer as preprocessor.
Results: