ISBN 3319941437 books & textbook
Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, ... Computer Science and General Issues)
Beyersdorff, Olaf Wintersteiger, Christoph M.
Springer /2018-06-26 Paperback / 471 Pages
isbn-10: 3319941437 / isbn-13: 9783319941431
