Hadi Katebi, Karem A. Sakallah, João P. Marques Silva. Empirical Study of the Anatomy of Modern Sat Solvers. In Karem A. Sakallah, Laurent Simon, editors, Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Volume 6695 of Lecture Notes in Computer Science, pages 343-356, Springer, 2011. [doi]
Abstract is missing.