{"product_id":"theory-and-applications-of-satisfiability-testing-sat-2021-springer-nature-switzerland-ag-9783030802226-24th-international-conference-barcelona-spain-july-5-9-2021-proceedings-chu-min-li","title":"Theory and Applications of Satisfiability Testing – SAT 2021","description":"\u003cp\u003eExplore the cutting-edge research in the field of satisfiability testing with \u003cstrong\u003eTheory and Applications of Satisfiability Testing – SAT 2021\u003c\/strong\u003e, authored by \u003cstrong\u003eChu-Min Li\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e, presents the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, held in Barcelona, Spain, in July 2021. With a total of \u003cstrong\u003e564 pages\u003c\/strong\u003e, this first edition features 37 meticulously reviewed full papers selected from 73 submissions, making it an essential resource for researchers and practitioners alike. Delve into the latest advancements and applications in the realm of satisfiability testing, and enhance your understanding of this pivotal area in computer science.\u003c\/p\u003e","brand":"Chu-Min Li","offers":[{"title":"Default Title","offer_id":52257256866134,"sku":"9783030802226","price":121.24,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030802226.jpg?v=1767787242","url":"https:\/\/www.englishbook.pt\/products\/theory-and-applications-of-satisfiability-testing-sat-2021-springer-nature-switzerland-ag-9783030802226-24th-international-conference-barcelona-spain-july-5-9-2021-proceedings-chu-min-li","provider":"Bookshop","version":"1.0","type":"link"}