Related Books
Language: en
Pages: 538
Pages: 538
Type: BOOK - Published: 2020-07-01 - Publisher: Springer Nature
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to
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: 425
Pages: 425
Type: BOOK - Published: 2019-06-28 - Publisher: Springer
This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisb
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