{"product_id":"9783319218090","title":"Artificial Intelligence: Foundations, Theory, and Algorithms","description":"\u003ch1\u003eArtificial Intelligence: Foundations, Theory, and Algorithms\u003c\/h1\u003e \u003ch2\u003ePetke, Justyna\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis  book provides a significant step towards bridging the areas of Boolean  satisfiability and constraint satisfaction by answering the question why  SAT-solvers  are efficient on certain classes of CSP instances which are hard to  solve for standard constraint solvers. The author also gives theoretical  reasons for choosing a particular SAT encoding for several important  classes of CSP instances.\u003c\/p\u003e\u003cp\u003eBoolean  satisfiability and constraint satisfaction emerged independently as new  fields of computer science, and different solving techniques have  become standard  for problem solving in the two areas. Even though any propositional  formula (SAT) can be viewed as an instance of the general constraint  satisfaction problem (CSP), the implications of this connection have  only been studied in the last few years.\u003c\/p\u003e\u003cp\u003eThe book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science. \u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2015-08-19\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319218090\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-21810-6\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 113\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":46919386759308,"sku":"9783319218090","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319218090.jpg?v=1774528617","url":"https:\/\/lateknightbooks.com\/products\/9783319218090","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}