HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

SCIL - Symbolic Constraints in Integer Linear Programming

Ernst Althaus Alexander Bockmayr 1 Matthias Elf Thomas Kasper Michael Jünger Kurt Mehlhorn
1 MODBIO - Computational models in molecular biology
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:52:54 PM
Last modification on : Friday, February 4, 2022 - 3:21:36 AM


  • HAL Id : inria-00100922, version 1



Ernst Althaus, Alexander Bockmayr, Matthias Elf, Thomas Kasper, Michael Jünger, et al.. SCIL - Symbolic Constraints in Integer Linear Programming. 10th European Symposium on Algorithms - ESA'02, 2002, Rome, Italie, pp.75-87. ⟨inria-00100922⟩



Record views