Skip to Main content Skip to Navigation
Conference papers

Modélisation Semi-Automatique par Acquisition de Contraintes

Résumé : La programmation par contraintes est une technologie désormais largement utilisée pour résoudre des problèmes combinatoires dans les applications industrielles. Pourtant, l’utiliser requiert une certaine connaissance du paradigme des contraintes. Cet article introduit un cadre pour apprendre automatiquement des réseaux de contraintes à partir d’ensembles d’instances qui sont des solutions acceptables ou des assignations non désirables du problème que nous souhaiterions exprimer. Ce qui peut aider un novice à manipuler ses contraintes. En restreignant le langage des contraintes utilisées pour construire le r ́eseau, cela peut aussi assister un expert dans la recherche d’une modélisation efficace d’un problème donné.
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00191967
Contributor : Christine Carvalho de Matos <>
Submitted on : Monday, November 26, 2007 - 11:46:21 AM
Last modification on : Thursday, May 14, 2020 - 6:58:06 PM
Long-term archiving on: : Monday, April 12, 2010 - 5:07:28 AM

File

D200.PDF
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00191967, version 1

Collections

Citation

Remi Coletta, Christian Bessière, Joël Quinqueton. Modélisation Semi-Automatique par Acquisition de Contraintes. JNPC: Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets, Jun 2003, Amiens, France. pp.129-143. ⟨lirmm-00191967⟩

Share

Metrics

Record views

190

Files downloads

66