Theory and Applications of Satisfiability Testing SAT 2019: 22nd International C
68,89 €
Theory and Applications of Satisfiability Testing SAT 2019. This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019.
Jetzt bei Ebay: