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

https://hal.inria.fr/inria-00100922
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:52:54 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM

Identifiers

  • HAL Id : inria-00100922, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

172