Formulations linéaires pour la programmation par contraintes

Mohand Ou Idir Khemmoudj; Hachémi Bennaceur

Formulations linéaires pour la programmation par contraintes

Mohand Ou Idir Khemmoudj ¹ Hachémi Bennaceur ²

1 MIS - Modélisation, Information & Systèmes

2 CRIL - Centre de Recherche en Informatique de Lens

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.

Type de document :

Communication dans un congrès

Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.143-151, 2008

Domaine :

Informatique [cs] / Langage de programmation [cs.PL]

Liste complète des métadonnées

Littérature citée [16 références] Voir Masquer Télécharger

https://hal.inria.fr/inria-00291553
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : vendredi 27 juin 2008 - 13:51:48
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : vendredi 28 mai 2010 - 22:55:21

pages-143-151-article48.pdf

Fichiers produits par l'(les) auteur(s)

Formulations linéaires pour la programmation par contraintes

Fichier

Identifiants

Collections

Citation

Exporter

Métriques

91

178

Contact

Formulations linéaires pour la programmation par contraintes

Fichier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

91

178

Contact