可满足性测试的理论及应用

• Theory and applications of Satisfiability Testing