23 citations · 23 across the 1 of their papers we have counts for
1 paper
Florian Lonsing, Martina Seidl, Allen Van Gelder
Over the last few years, much progress has been made in the theory and practice of solving quantified Boolean formulas (QBF). Novel solvers have been presented that either successf…