Skip to Main content Skip to Navigation
Conference papers

Dynamic Virtual Arc Consistency

Abstract : Virtual Arc Consistency (VAC) is a recent local consistency for processing Cost Function Networks (or Weighted Con- straint Networks) that exploits a simple but powerful con- nection with classical Constraint Networks. It has allowed to close hard frequency assignment benchmarks and is ca- pable 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 itera- tive algorithm, providing noticeable speedups.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Joël Quinqueton Connect in order to contact the contributor
Submitted on : Tuesday, June 4, 2013 - 4:38:31 PM
Last modification on : Monday, October 11, 2021 - 1:24:08 PM
Long-term archiving on: : Thursday, September 5, 2013 - 4:24:12 AM


Explicit agreement for this submission


  • HAL Id : lirmm-00830307, version 1
  • PRODINRA : 315789



Christian Bessière, Thomas Schiex, Thi Hông Hiêp Nguyên. Dynamic Virtual Arc Consistency. SAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103. ⟨lirmm-00830307⟩



Record views


Files downloads