{"product_id":"9781402045523","title":"SAT 2005","description":"\u003cp\u003eThis book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2006\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer Netherlands\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: H\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 1320\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Enrico Giunchiglia","offers":[{"title":"Default Title","offer_id":41277292445874,"sku":"9781402045523","price":3429997.64,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/1402045522.01_SCLZZZZZZZ.jpg?v=1636195198","url":"https:\/\/readabook.store\/en-id\/products\/9781402045523","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}