Speedup Techniques Utilized in Modern SAT Solvers.

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker

Browse the full SAT paper archive.