Althaus, Ernst, Bockmayr, Alexander, Elf, Matthias, Kasper, Thomas, Jünger, Michael and Mehlhorn, Kurt
(2002).
SCIL - Symbolic Constraints in Integer Linear Programming.
In:
Algorithms - ESA 2002 : 10th annual European symposium, Rome, Italy, September 17 - 21, 2002 ; proceedings,
pp. 75-87.
Springer.
Preview |
PDF
zaik2002-437.pdf - Submitted Version Download (273kB) | Preview |
Abstract
We describe SCIL. SCIL introduces symbolic constraints into branch-and-cut-and-price algorithms for integer linear programs. Symbolic constraints are known from constraint programming and contribute significantly to the expressive power, ease of use, and efficiency of constraint programs.
| Item Type: | Book Section |
| Creators: | Creators Email ORCID ORCID Put Code Althaus, Ernst UNSPECIFIED UNSPECIFIED UNSPECIFIED Bockmayr, Alexander UNSPECIFIED UNSPECIFIED UNSPECIFIED Elf, Matthias UNSPECIFIED UNSPECIFIED UNSPECIFIED Kasper, Thomas UNSPECIFIED UNSPECIFIED UNSPECIFIED Jünger, Michael UNSPECIFIED UNSPECIFIED UNSPECIFIED Mehlhorn, Kurt UNSPECIFIED UNSPECIFIED UNSPECIFIED |
| URN: | urn:nbn:de:hbz:38-548664 |
| Title of Book: | Algorithms - ESA 2002 : 10th annual European symposium, Rome, Italy, September 17 - 21, 2002 ; proceedings |
| Series Name: | Lecture notes in computer science |
| Volume: | 2461 |
| Page Range: | pp. 75-87 |
| Date: | 2002 |
| Publisher: | Springer |
| Language: | English |
| Faculty: | Faculty of Mathematics and Natural Sciences |
| Divisions: | Faculty of Mathematics and Natural Sciences > Department of Mathematics and Computer Science > Institute of Computer Science |
| Subjects: | Data processing Computer science |
| Refereed: | No |
| URI: | http://kups.ub.uni-koeln.de/id/eprint/54866 |
Downloads
Downloads per month over past year
Export
Actions (login required)
![]() |
View Item |
