DepQBF: A Dependency-Aware QBF Solver

Florian Lonsing, Armin Biere. DepQBF: A Dependency-Aware QBF Solver. JSAT, 7(2-3):71-76, 2010. [doi]

Abstract

Abstract is missing.