Theory and Applications of Satisfiability Testing
ISBN:9783540278290...
Theory and Applications of Satisfiability Testing
可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing
ISBN:9783540372066...
可 满足 性 测试 理论 及其 应用 SAT 2006 第 9 届 国际会议 会议 录 Theory and applications of satisfiability testing
Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)
ISBN:9781598291988...
Satisfiability Testing Synthesis Lectures on Artificial Intelligence and Machine Learning
Algorithms for the Satisfiability Problem
ISBN:9780521640411The satisfiability (SAT) problem is central in mathematical logic and computing theory, representin...
Algorithms for the Satisfiability Problem
Theory and Applications of Satisfiability Testing - Sat 2007
ISBN:9783540727873...
Theory and Applications of Satisfiability Testing Sat 2007
Handbook of Satisfiability
ISBN:9781586039295...
Introduction to Mathematics of Satisfiability
ISBN:9781439801673...
Introduction to Mathematics of Satisfiability
A Survey of Lower Bounds for Satisfiability and Related Problems
ISBN:9781601980847...
A Survey of Lower Bounds for Satisfiability and Related Problems
Theory and Applications of Satisfiability Testing-SAT 2008
ISBN:9783540797180...
Theory and Applications of Satisfiability Testing SAT 2008