Lower Bounds for QCDCL via Formula Gauge.

Benjamin Bhm, Olaf Beyersdorff

Browse the full SAT paper archive.