{"product_id":"9781586039295","title":"Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications (Ios Press))","description":"\u003cp\u003eA collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.\u003c\/p\u003e","brand":"IOS Press,US","offers":[{"title":"Default Title","offer_id":46011386560591,"sku":"00000_00000_00000_00000","price":7525.0,"currency_code":"TWD","in_stock":true}],"url":"https:\/\/kinokuniya.com.tw\/products\/9781586039295","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}