research
∙
09/10/2021
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
QBF solvers implementing the QCDCL paradigm are powerful algorithms that...
share
research
∙
12/12/2020
Hard QBFs for Merge Resolution
We prove the first proof size lower bounds for the proof system Merge Re...
research
∙
12/11/2017
