Empirical Study of the Anatomy of Modern SAT Solvers (2010) 计算机科学

Empirical Study of the Anatomy of Modern SatSolversHadi Katebi1, Karem A. Sakallah1, and João P. Marques-Silva21 EECS Department, University of Michigan {hadik,karem}@umich.edu2 CSI/CASL, University College Dublin jpms@ucd.ieAbstract. Boolean Satisfiability (SAT) solving has dramatically evolved in the past decade and a half. The outcome, today, is manifested in dozens of high performance and relatively scalable SAT solvers. The significant success of SAT solving technology, specially on practi