3527 articles – 5249 Notices  [english version]

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

Résumé : 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)
  • Domaine : Informatique/Autre
  • Mots-clés : integer programming – constraints || programmation entière – contraintes
  • Référence interne : A02-R-289 || althaus02a
  • Commentaire : Colloque avec actes et comité de lecture. internationale.
 
  • inria-00100922, version 1
  • http://hal.inria.fr/inria-00100922
  • oai:hal.inria.fr:inria-00100922
  • Contributeur : Publications Loria <>
  • Soumis le : Mardi 26 Septembre 2006, 14:52:54
  • Dernière modification le : Jeudi 28 Septembre 2006, 15:22:47