1 paper
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen +1
Incremental determinization is a recently proposed algorithm for solving quantified Boolean formulas with one quantifier alternation. In this paper, we formalize incremental determ…