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) 325–331 The submitted version includes bloqqer as preprocessor. | ||
Results: | |||