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 <>
Submitted on : Tuesday, September 26, 2006 - 2:52:54 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM


  • 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