Unsatisfiable CNF Formulas contain Many Conflicts.

Dominik Scheder

Browse the full ISAAC paper archive.