Authors: Sharad Malik, Lintao Zhang - Communications of the ACM, CACM 2009 cited by 169
Satisfiability solvers can now be effectively deployed in practical applications.
