Related Books
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: 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: 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: 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