{"product_id":"9783642215803","title":"Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, USA, Proceedings (Lecture Notes in Computer Science) \u003cVol. 6695\u003e","description":"\u003cp\u003eXIII, 371 p. 63 illus., 28 illus. in color.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":52363105206583,"sku":"00000_00000_00000_00000","price":297.93,"currency_code":"MYR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0962\/3548\/7543\/files\/9783642215803-1.jpg?v=1783272886","url":"https:\/\/kinokuniya.com.my\/products\/9783642215803","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}