Theory and Applications of Satisfiability Testing – SAT 2021

24th International Conference, SAT 2021, Barcelona, Spain, July 5-9, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

This book constitutes the proceedings of the 24 International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Theoretical Computer Science and General Issues
Lecture Notes in Computer Science

Sprache(n): Englisch

ISBN: 978-3-030-80222-6 / 978-3030802226 / 9783030802226

Verlag: Springer International Publishing

Erscheinungsdatum: 02.07.2021

Seiten: 564

Auflage: 1

Herausgegeben von Chu-Min Li, Felip Manyà

117,69 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück