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) 375392