Simplifying CDCL Clause Database Reduction.

Sima Jamali, David Mitchell

Browse the full SAT paper archive.