rareqs-nn
| Submitter: | Mikolas Janota | ||
| Description: | Devised by Mikolas Janota, is a solver for non-prenex non-cnf formulas. Details are available in Janota, M., Klieber, W., Marques-Silva, J., Clarke, E.: Solving QBF with counterexample guided refinement. Artificial Intelligence 234 (2016) 1–25 | ||
| Results: | |||