 |
HAL-LIRMM - Open Archive |  |
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.
Cited literature [13 references]
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830307
Contributor : Joël Quinqueton <>
Submitted on : Tuesday, June 4, 2013 - 4:38:31 PM
Last modification on : Friday, June 12, 2020 - 11:32:20 AM
Long-term archiving on: : Thursday, September 5, 2013 - 4:24:12 AM
Contributor : Joël Quinqueton <>
Submitted on : Tuesday, June 4, 2013 - 4:38:31 PM
Last modification on : Friday, June 12, 2020 - 11:32:20 AM
Long-term archiving on: : Thursday, September 5, 2013 - 4:24:12 AM
File
sac13.pdf
Explicit agreement for this submission