Theory and Applications of Satisfiability Testing – SAT 2018
Book title Buchtitel
Theory and Applications of Satisfiability Testing – SAT 2018
ISBN
978-3-319-94143-1
Editor Herausgeber_in
Publisher Herausgeber
Springer
Springer-Verlag, Lecture Notes in Artificial Intelligence 8268
Springer-Verlag, Lecture Notes in Artificial Intelligence 8268
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-319-94144-8