{"product_id":"theory-and-applications-of-satisfiability-testing-sat-2015-springer-international-publishing-ag-9783319243177-18th-international-conference-austin-tx-usa-september-24-27-2015-proceedings-marijn-heule","title":"Theory and Applications of Satisfiability Testing -- SAT 2015","description":"\u003cp\u003e\u003cstrong\u003eTheory and Applications of Satisfiability Testing -- SAT 2015\u003c\/strong\u003e by Marijn Heule, Sean Weaver.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2015), Paperback, 436 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer algorithms, Computer software, verification.\u003c\/p\u003e","brand":"Marijn Heule","offers":[{"title":"Default Title","offer_id":52226764308822,"sku":"9783319243177","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319243177.jpg?v=1767740608","url":"https:\/\/www.englishbook.pt\/products\/theory-and-applications-of-satisfiability-testing-sat-2015-springer-international-publishing-ag-9783319243177-18th-international-conference-austin-tx-usa-september-24-27-2015-proceedings-marijn-heule","provider":"Bookshop","version":"1.0","type":"link"}