{"product_id":"9783030518257","title":"Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings","description":"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. \u003cp\u003eThe 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.\u003c\/p\u003e  \u003cp\u003e \u003c\/p\u003e","brand":"Springer-Verlag New York, LLC","offers":[{"title":"Default Title","offer_id":46521892864241,"sku":"9783030518257","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0674\/5433\/7265\/files\/9783030518257_p0.jpg?v=1765550919","url":"https:\/\/shop.barnesandnoble.com\/products\/9783030518257","provider":"Barnes \u0026 Noble","version":"1.0","type":"link"}