Empirical study of the anatomy of modern SAT solvers (2011)

by H Katebi, K A Sakallah, J a P Marques-Silva
Venue:in International Conference on Theory and Application of Satisfiability Testing