Total Publications: 1

  • Empirical Study of the Anatomy of Modern Sat Solvers
    Hadi Katebi, Karem A. Sakallah, Joao Marques Silva,
    Theory and Applications of Satisfiability Testing (SAT 2011), Springer, pages 343-356, Springer, http://dx.doi.org/10.1007/978-3-642-21581-0_27, June 2011