Anatomy and empirical evaluation of modern SAT solvers. (2011)

by Karem A Sakallah, Joao Marques-Silva
Venue:Bulletin of the European Association for Theoretical Computer Science,