{"product_id":"decision-procedures-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662504963-an-algorithmic-point-of-view-daniel-kroening","title":"Decision Procedures","description":"\u003cp\u003eExplore the intricacies of decision-making with \u003cstrong\u003eDecision Procedures\u003c\/strong\u003e by \u003cstrong\u003eDaniel Kroening\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003c\/strong\u003e. This comprehensive 2nd edition, released in 2016, spans \u003cstrong\u003e356 pages\u003c\/strong\u003e and delves into essential techniques rooted in graph theory and logic, widely applied in various industries.\u003c\/p\u003e \n\n\u003cp\u003eThe book serves as a vital resource for understanding key concepts such as SAT, Satisfiability Modulo Theories (SMT), and the DPLL(T) framework. Whether you're a student, researcher, or professional, Kroening's expert insights will equip you with the knowledge needed to navigate the complexities of symbolic and mathematical decision-making processes.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of algorithms and logic with this essential guide. Perfect for those in Germany and beyond, \u003cstrong\u003eDecision Procedures\u003c\/strong\u003e is a must-have addition to your collection.\u003c\/p\u003e","brand":"Daniel Kroening","offers":[{"title":"Default Title","offer_id":52246748102998,"sku":"9783662504963","price":84.65,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783662504963.jpg?v=1767771754","url":"https:\/\/www.bookshop.ee\/products\/decision-procedures-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662504963-an-algorithmic-point-of-view-daniel-kroening","provider":"Bookshop","version":"1.0","type":"link"}