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: | |||