Skip to Main content Skip to Navigation
Conference papers

Extension des cohérences WCSP aux tuples

Résumé : Dans cet article, nous présentons un nouveau type de propriétés pour les réseaux de contraintes pondérées (WCNs pour Weighted Constraint networks). Il s'agit de la cohérence de tuples (TC) dont l'établissement sur un WCN est effectué grâce à une nouvelle opération appelée TupleProject. Nous proposons également une version "optimale" de cette propriété, OTC, qui peut être perçue comme une généralisation de OSAC (Optimal Soft Arc Consistency). Le principe sous-jacent à OTC est d'appliquer de manière itérative l'opération TupleProject afin de factoriser un coût qui maximise la borne inférieure w;, sur la base de transferts de coûts entre tuples de différentes contraintes d'arité quelconque.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00869928
Contributor : Francois Chevallier Connect in order to contact the contributor
Submitted on : Friday, October 4, 2013 - 2:53:07 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM
Long-term archiving on: : Friday, April 7, 2017 - 6:18:00 AM

File

otcJFPC2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00869928, version 1

Collections

Citation

Djamel-Eddine Dehani, Christophe Lecoutre, Olivier Roussel. Extension des cohérences WCSP aux tuples. 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.105-113. ⟨hal-00869928⟩

Share

Metrics

Les métriques sont temporairement indisponibles