37 citations · 71 across the 9 of their papers we have counts for
1 paper · 1 filter
Olaf Beyersdorff, Benjamin Böhm
QBF solvers implementing the QCDCL paradigm are powerful algorithms that successfully tackle many computationally complex applications. However, our theoretical understanding of th…