A LOGIC LANGUAGE FOR COMBINATORIAL OPTIMIZATION.
Saved in:
| Title: | A LOGIC LANGUAGE FOR COMBINATORIAL OPTIMIZATION. |
|---|---|
| Authors: | Van Hentenryck, Pascal1 |
| Source: | Annals of Operations Research. 1989, Vol. 21 Issue 1-4, p247-273. 27p. 8 Diagrams, 2 Charts. |
| Subjects: | Combinatorial optimization, Logic programming languages, Constraint programming, Programming languages, Operations research |
| Abstract: | CHIP (Constraint Handling In Prolog) is a new logic programming language combining the declarative aspect of logic programming for stating search problems with the efficiency of constraint handling techniques for solving them. CHIP has been applied to many real-life problems in Operations Research and hardware design with an efficiency comparable to specific programs written in procedural languages. The main advantage of CHIP is the short development time of the programs and their great modifiability and extensibility. In this paper, we discuss the application of the finite domain part of CHIP to the solving of discrete combinatorial problems occurring in Operations Research. The basic mechanisms underlying CHIP are explained through simple examples. Solutions in CHIP of several real-life problems (e.g., cutting stock, warehouses location problems) are presented and compared with usual approaches, showing the versatility and the interest of the approach. [ABSTRACT FROM AUTHOR] |
| Copyright of Annals of Operations Research is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
