Theory and applications of satisfiability testing -- SAT 2021 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
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. They de...
Saved in:
Corporate Authors: | SAT (Conference) Barcelona, Spain ; Online) |
---|---|
Other Authors: | SAT (Conference), Lī, Čhư ̄Min, Manyà, Felip, SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Cham, Switzerland :
Springer,
[2021]
|
Physical Description: |
1 online resource (xi, 564 pages) : illustrations (some color). |
Series: |
Lecture notes in computer science ;
12831. LNCS sublibrary. Theoretical computer science and general issues. |
Subjects: |
In Prospector
Similar Items
-
Theory and applications of satisfiability testing -- SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings
Published: (2019) -
Theory and applications of satisfiability testing -- SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Published: (2018) -
Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Published: (2016) -
Theory and applications of satisfiability testing -- SAT 2015 : 18th International Conference Austin, TX, USA, September 24-27, 2015, Proceedings
Published: (2015) -
Theory and applications of satisfiability testing-- SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Published: (2013)