SCIL - Symbolic Constraints in Integer Linear Programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

SCIL - Symbolic Constraints in Integer Linear Programming

Ernst Althaus
  • Function : Author
  • PersonId : 833029
Matthias Elf
  • Function : Author
Thomas Kasper
  • Function : Author
Michael Jünger
  • Function : Author
Kurt Mehlhorn
  • Function : Author


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.


Other [cs.OH]
Not file

Dates and versions

inria-00100922 , version 1 (26-09-2006)


  • 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⟩
78 View
0 Download


Gmail Facebook Twitter LinkedIn More