areqs
Submitter: | Mikolas Janota | ||
Description: | Devised by Mikolas Janota, is an implementation of the 2QBF algorithm described in Janota, M., Marques-Silva, J.: Abstraction-based algorithm for 2QBF. In: International Conference on Theory and Applications of Satisfiability Testing, Springer(2011) 230–244 | ||
Results: | |||