47 citations · 188 across the 18 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 47 cited
DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL
Florian Lonsing, Uwe Egly
We present the latest major release version 6.0 of the quantified Boolean formula (QBF) solver DepQBF, which is based on QCDCL. QCDCL is an extension of the conflict-driven clause…
cs.LO2017★ 22 cited
Evaluating QBF Solvers: Quantifier Alternations Matter
Florian Lonsing, Uwe Egly
We present an experimental study of the effects of quantifier alternations on the evaluation of quantified Boolean formula (QBF) solvers. The number of quantifier alternations in a…