Formulations linéaires pour la programmation par contraintes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

Formulations linéaires pour la programmation par contraintes

Abstract

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.
Fichier principal
Vignette du fichier
pages-143-151-article48.pdf (292.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00291553 , version 1 (27-06-2008)

Identifiers

  • HAL Id : inria-00291553 , version 1

Cite

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⟩
68 View
349 Download

Share

Gmail Facebook X LinkedIn More