Dynamic virtual arc consistency

H Nguyen, T Schiex, C Bessiere - Proceedings of the 28th Annual ACM …, 2013 - dl.acm.org
Dynamic Arc Consistency algorithms can be suitably injected in the virtual arc consistency
… After suitable adaptation, we observe that the introduction of Dynamic arc consistency inside …

Maintaining virtual arc consistency dynamically during search

H Nguyen, S De Givry, T Schiex… - 2014 IEEE 26th …, 2014 - ieeexplore.ieee.org
Arc Consistency is the traditional target of Dynamic Arc Consistency algorithms [17], [18] for
Dynamic … can be suitably exploited by Dynamic Virtual Arc Consistency, leading to a global …

Soft arc consistency revisited

MC Cooper, S De Givry, M Sánchez, T Schiex… - Artificial Intelligence, 2010 - Elsevier
… Alternatively, we show that when a problem is not Virtual Arc Consistent (VAC), it is possible
to find a sequence of soft arc consistency operations which improve the lower bound and …

[PDF][PDF] Virtual Arc Consistency for Weighted CSP.

MC Cooper, S De Givry, M Sánchez-Fibla, T Schiex… - AAAI, 2008 - cdn.aaai.org
… that maintaining a form of local consistency in a Branch and … In this paper, we introduce
Virtual Arc Consistency (VAC) … Although not as strong as Optimal Soft Arc Consistency, VAC is …

[BOEK][B] Performance analysis of live-virtual-constructive and distributed virtual simulations: Defining requirements in terms of temporal consistency

DD Hodson - 2009 - search.proquest.com
… that limits network activity thereby reducing the consistency of the data. Purposely allowing
inconsistencies to enhance scalability is sometimes called a "dynamic shared state" [SZ99]. …

Bounding linear programs by constraint propagation: application to Max-SAT

T Dlask, T Werner - International conference on principles and practice of …, 2020 - Springer
… We generalize this technique by replacing arc consistency with a (problem-dependent)
constraint … We show that any single cause vector can be computed more efficiently by dynamic

Filtering decomposable global cost functions

D Allouche, C Bessière, P Boizumault… - Proceedings of the …, 2012 - ojs.aaai.org
… that enforcing directional arc consistency or virtual arc consistency on the decomposition is
… A dynamic programming approach for consistency and propagation for knapsack constraints…

An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

KCK Cheng, RHC Yap - Constraints, 2010 - Springer
… To achieve this effect, an ad hoc constraint is built from an MDD in two steps: First, we make
an MDD by running mddReduce on a virtual r-ary trie. At a leaf, we choose tt with probability …

[HTML][HTML] Tractability-preserving transformations of global cost functions

D Allouche, C Bessiere, P Boizumault, S De Givry… - Artificial Intelligence, 2016 - Elsevier
… -safe thanks to dynamic programming. We show that dynamic programming can either be …
-filterable cost functions, or emulated by arc consistency filtering on a Berge-acyclic network of …

A constraint-based high school scheduling system

M Yoshikawa, K Kaneko, T Yamanouchi… - IEEE Expert, 1996 - ieeexplore.ieee.org
… That is, we used arc consistency to process only important … only one virtual conjtraint ;nid
the violated dynamic constraint\ … Virtual constraints eliminated many arc-consistency iterations…