Skip to Main content Skip to Navigation
Conference papers

Formulations linéaires pour la programmation par contraintes

Résumé : Dans ce papier, nous présentons dans un premier temps des techniques génériques permettant de formuler toute contrainte d'un CSP comme un Programme Linéaire en Nombres Entiers (PLNE). Cela conduit à exploiter en Programmation Par Contraintes (PPC) de nombreux outils algorithmiques proposés par la communauté de la Recherche Opérationnelle (RO) dans le but, par exemple, de développer des contraintes globales. Ensuite, nous proposons un modèle linéaire générique pour améliorer la technique de filtrage basée sur les coûts réduits [5]. La résolution de ce modèle linéaire permet de calculer des coûts réduits plus intéressants que ceux calculés en résolvant la relaxation continue classique d'un PLNE.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00291553
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Submitted on : Friday, June 27, 2008 - 1:51:48 PM
Last modification on : Monday, April 19, 2021 - 8:56:40 AM
Long-term archiving on: : Friday, May 28, 2010 - 10:55:21 PM

File

pages-143-151-article48.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00291553, version 1

Collections

Citation

Mohand Ou Idir Khemmoudj, Hachémi Bennaceur. Formulations linéaires pour la programmation par contraintes. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.143-151. ⟨inria-00291553⟩

Share

Metrics

Record views

136

Files downloads

374