Theory and applications of Satisfiability Testing

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