{"product_id":"theory-and-applications-of-satisfiability-testing-sat-2020-9783030518257","title":"Theory and Applications of Satisfiability Testing - SAT 2020","description":"\u003cp\u003eThis 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 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","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915021447447,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030518257.jpg?v=1781512761","url":"https:\/\/payment.letskitaboo.com\/ur\/products\/theory-and-applications-of-satisfiability-testing-sat-2020-9783030518257","provider":"Kitaboo One eStore","version":"1.0","type":"link"}