Cohérence d'arc virtuelle dynamique

Abstract : Virtual Arc Consistency (VAC) is a recent local consistency for processing Cost Function Networks (or Weighted Constraint Networks) that exploits a simple but powerful connection with classical Constraint Networks. It has allowed to close hard frequency assignment benchmarks and is capable of directly solving networks of submodular functions. The algorithm enforcing VAC is an iterative algorithm that solves a sequence of classical Constraint Networks. In this work, we show that Dynamic Arc Consistency algorithms can be suitably injected in the virtual arc consistency iterative algorithm, providing noticeable speedups.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830411
Contributor : Joël Quinqueton <>
Submitted on : Thursday, October 10, 2019 - 2:08:26 PM
Last modification on : Monday, December 23, 2019 - 11:08:08 AM

File

papier_40.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00830411, version 1

Collections

Citation

Hiep Nguyen, Thomas Schiex, Christian Bessière. Cohérence d'arc virtuelle dynamique. JFPC: Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.249-258. ⟨lirmm-00830411⟩

Share

Metrics

Record views

142

Files downloads

4