Theory and Applications of Satisfiability Testing -- SAT 2015: 18th Internationa
84,30 €
Theory and Applications of Satisfiability Testing -- SAT 2015. This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015.
Jetzt bei Ebay:
