3530 articles – 5253 references  [version française]

inria-00100922, version 1

SCIL - Symbolic Constraints in Integer Linear Programming

Ernst Althaus () a, Alexander Bockmayr () b, 1, Matthias Elf c, Thomas Kasper d, Michael Jünger c, Kurt Mehlhorn a

10th European Symposium on Algorithms - ESA'02 2461 (2002) 75-87

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.

  • a –  MPI INFORMATIK SAARBRUCKEN - ALLEMAGNE
  • b –  UNIVERSITE HENRI POINCARE
  • c –  UNIV. KöLN - ALLEMAGNE
  • d –  SAP AG - ALLEMAGNE
  • 1:  MODBIO (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • Domain : Computer Science/Other
  • Keywords : integer programming – constraints || programmation entière – contraintes
  • Internal note : A02-R-289 || althaus02a
  • Comment : Colloque avec actes et comité de lecture. internationale.
 
  • inria-00100922, version 1
  • http://hal.inria.fr/inria-00100922
  • oai:hal.inria.fr:inria-00100922
  • From: Publications Loria <>
  • Submitted on: Tuesday, 26 September 2006 14:52:54
  • Updated on: Thursday, 28 September 2006 15:22:47