QCDCL vs QBF Resolution: Further Insights.

Benjamin Bhm, Olaf Beyersdorff

Browse the full SAT paper archive.