6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
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…