◀ Click to filter

Total displayed: 1

Order by:
  • 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, Springer, http://dx.doi.org/10.1007/978-3-642-21581-0_27

Keywords

Year Published

2011 - 2011

Type

(1)
Conference Paper

Ranking

(1)
Other

Scope

(1)
International