cadet
Submitter: | Markus N. Rabe | ||
Description: | Devised by Markus N. Rabe, is a solver for 2QBF formulas based on the incremental construction of the Skolem functions aimed to prove the satisfiability of the formula. Details are available in Rabe, M.N., Seshia, S.A.: Incremental determinization. In: International Conference on Theory and Applications of Satisfiability Testing, Springer (2016) 375–392 | ||
Results: | |||