Theory and Applications of Satisfiability Testing – SAT 2018
Olaf Beyersdorff, Christoph M. Wintersteiger
Theory and Applications of Satisfiability Testing – SAT 2018 - 1st ed. 2018 - Springer International Publishing 2018 - 10929 - Lecture Notes in Computer Science .
978-3-319-94144-8
1611-3349
Theory and Applications of Satisfiability Testing – SAT 2018 - 1st ed. 2018 - Springer International Publishing 2018 - 10929 - Lecture Notes in Computer Science .
978-3-319-94144-8
1611-3349