{"product_id":"9780792396635","title":"Operations Research\/Computer Science Interfaces Series","description":"\u003ch1\u003eOperations Research\/Computer Science Interfaces Series\u003c\/h1\u003e \u003ch2\u003eBarth, Peter\u003c\/h2\u003e \u003cp\u003eA logic view of 0-1 integer programming problems, providing new  insights into the structure of problems that can lead the researcher  to more effective solution techniques depending on the problem class.  Operations research techniques are integrated into a logic programming  environment. The first monographic treatment that begins to unify  these two methodological approaches. \u003cbr\u003e  Logic-based methods for modelling and solving combinatorial problems  have recently started to play a significant role in both theory and  practice. The application of logic to combinatorial problems has a  dual aspect. On one hand, \u003cem\u003econstraint logic programming\u003c\/em\u003e allows  one to declaratively model combinatorial problems over an appropriate  constraint domain, the problems then being solved by a corresponding  constraint solver. Besides being a high-level declarative interface to  the constraint solver, the logic programming language allows one also  to implement those subproblems that cannot be naturally expressed with  constraints. On the other hand, logic-based methods can be used as a  \u003cem\u003econstraint solving\u003c\/em\u003e technique within a constraint solver for  combinatorial problems modelled as 0-1 integer programs.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1995-11-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792396635\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4613-1315-1\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 254\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":46311629160588,"sku":"9780792396635","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792396635.jpg?v=1771508742","url":"https:\/\/lateknightbooks.com\/products\/9780792396635","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}