.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic-Based 0-1 Constraint Programming
Peter Barth
€ 127.54
FREE Delivery in Ireland
Description for Logic-Based 0-1 Constraint Programming
Paperback. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 254 pages, biography. BIC Classification: KJT; PBU; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 416.
A 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.
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, constraint ... Read more 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 constraint solving technique within a constraint solver for combinatorial problems modelled as 0-1 integer programs. Show Less
A 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.
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, constraint ... Read more 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 constraint solving technique within a constraint solver for combinatorial problems modelled as 0-1 integer programs. Show Less
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag New York Inc. United States
Number of pages
254
Condition
New
Series
Operations Research/Computer Science Interfaces Series
Number of Pages
254
Place of Publication
New York, NY, United States
ISBN
9781461285649
SKU
V9781461285649
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logic-Based 0-1 Constraint Programming