33 citations · 57 across the 4 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…