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.
Type de document :
Communication dans un congrès
Rolf H. Möhring, Rajeev Raman. 10th European Symposium on Algorithms - ESA'02, 2002, Rome, Italie, Springer, 2461, pp.75-87, 2002, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00100922
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:52:54
Dernière modification le : jeudi 11 janvier 2018 - 06:19:51

Identifiants

  • 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. Rolf H. Möhring, Rajeev Raman. 10th European Symposium on Algorithms - ESA'02, 2002, Rome, Italie, Springer, 2461, pp.75-87, 2002, Lecture Notes in Computer Science. 〈inria-00100922〉

Partager

Métriques

Consultations de la notice

97