Related Books
Language: en
Pages: 438
Pages: 438
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: 458
Pages: 458
Type: BOOK - Published: 2018-06-27 - Publisher: Springer
This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxfo
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: 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: 549
Pages: 549
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
