ALCOMFT-TR-02-133

Ernst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jünger, Thomas Kasper and Kurt Mehlhorn
SCIL - Symbolic Constraints in Integer Linear Programming
Cologne and MPI. Work package 4. May 2002.

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.

Postscript file: ALCOMFT-TR-02-133.ps.gz (121 kb).