Formulations linéaires pour la programmation par contraintes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

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.
Fichier principal
Vignette du fichier
pages-143-151-article48.pdf (292.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00291553 , version 1

Citer

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 Consultations
349 Téléchargements

Partager

Gmail Facebook X LinkedIn More