著者: Sharad Malik, Lintao Zhang - Communications of the ACM, CACM 2009 被引用: 169
Satisfiability solvers can now be effectively deployed in practical applications.
