Theory and Application of Satisfiability Testing 비슷한 책 더 보기
SAT 2005
2007년
Theory and Applications of Satisfiability Testing – SAT 2018
2018년
Theory and Applications of Satisfiability Testing – SAT 2017
2017년
Theory and Applications of Satisfiability Testing – SAT 2016
2016년
Theory and Applications of Satisfiability Testing – SAT 2020
2020년
Theory and Applications of Satisfiability Testing – SAT 2019
2019년
Automated Deduction -- CADE-23
2011년
Computer Science – Theory and Applications
2007년
Frontiers of Combining Systems
2021년
Principles and Practice of Constraint Programming - CP 2010
2010년
Fundamentals of Computation Theory
2011년
Automated Reasoning
2010년
Automated Technology for Verification and Analysis
2009년
Automata, Languages and Programming
2011년
Automata, Languages and Programming
2010년