Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.

Albert Atserias, Johannes Klaus Fichte, Marc Thurley

Browse the full SAT paper archive.