Empirical Study of the Anatomy of Modern Sat Solvers.

Hadi Katebi, Karem A. Sakallah, Joo P. Marques Silva

Browse the full SAT paper archive.