How Many Conflicts Does It Need to Be Unsatisfiable?

Dominik Scheder, Philipp Zumstein

Browse the full SAT paper archive.