Anatomy and Empirical Evaluation of Modern SAT Solvers

Karem A. Sakallah, Joao Marques-Silva, The Logic in Computer Science Column, by Y. Gurevich

Abstract


Anatomy and Empirical Evaluation of Modern SAT Solvers

Full Text:

PDF

Refbacks

  • There are currently no refbacks.