Theory and Applications of Satisfiability Testing - SAT 2020
Available
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually.
The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 ...
Read more
E-book
epub
Price
44.99 £
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually.
The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 ...
Read more