Dynamic virtual arc consistency

Hiep Nguyen, Thomas Schiex, Christian Bessiere
2013 Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13  
Virtual Arc Consistency is a recent local consistency for processing cost function networks that exploits a simple but powerful connection between classical constraint networks and cost function networks. The algorithm enforcing virtual arc consistency iteratively 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.
doi:10.1145/2480362.2480384 dblp:conf/sac/NguyenSB13 fatcat:ybeunm5s3zbrxe5jti7z663gna