×

zbMATH — the first resource for mathematics

SCIL – symbolic constraints in integer linear programming. (English) Zbl 1019.90515
Möhring, Rolf (ed.) et al., Algorithms - ESA 2002. 10th annual European symposium, Rome, Italy, September 17-21, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2461, 75-87 (2002).
Summary: We describe a new software system SCIL that 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 programming systems.
For the entire collection see [Zbl 0997.00026].

MSC:
90C10 Integer programming
90-04 Software, source code, etc. for problems pertaining to operations research and mathematical programming
90C27 Combinatorial optimization
90C35 Programming involving graphs or networks
68W30 Symbolic computation and algebraic computation
Software:
SCIL
PDF BibTeX XML Cite
Full Text: Link