Related Books
Language: en
Pages: 564
Pages: 564
Type: BOOK - Published: 2021-07-01 - Publisher: Springer Nature
This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in B
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2021 - Publisher:
This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in B
Language: en
Pages: 455
Pages: 455
Type: BOOK - Published: 2015-09-17 - Publisher: Springer
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Aust
Language: en
Pages: 476
Pages: 476
Type: BOOK - Published: 2017-08-14 - Publisher: Springer
This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melb
Language: en
Pages: 392
Pages: 392
Type: BOOK - Published: 2011-06 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann