Theory and Applications of Satisfiability Testing - SAT 2021

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

von

Herausgegeben:Li, Chu-MinManyà, Felip

BuchKartoniert, Paperback

564 Seiten

Englisch

Springererschienen am02.07.20211st ed. 2021

This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions.mehr

Verfügbare Formate

BuchKartoniert, Paperback

EUR117,69

E-BookPDF1 - PDF WatermarkE-Book

EUR106,99

Auf dieser Seite:

EUR117,69

In den Warenkorb

Produkt

KlappentextThis book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions.

Details

ISBN/GTIN978-3-030-80222-6

ProduktartBuch

EinbandartKartoniert, Paperback

Verlag

Springer

Erscheinungsjahr2021

Erscheinungsdatum02.07.2021

Auflage1st ed. 2021

ReiheTheoretical Computer Science and General Issues

Seiten564 Seiten

SpracheEnglisch