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 …
… 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 …
Dynamic … can be suitably exploited by Dynamic Virtual Arc Consistency, leading to a global …
Soft arc consistency revisited
… 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 …
to find a sequence of soft arc consistency operations which improve the lower bound and …
[PDF][PDF] Virtual Arc Consistency for Weighted CSP.
… 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 …
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]. …
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 …
constraint … We show that any single cause vector can be computed more efficiently by dynamic …
Filtering decomposable global cost functions
… that enforcing directional arc consistency or virtual arc consistency on the decomposition is
… A dynamic programming approach for consistency and propagation for knapsack constraints…
… 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 …
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
… -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 …
-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…
the violated dynamic constraint\ … Virtual constraints eliminated many arc-consistency iterations…
Gerelateerde zoekopdrachten
- generalized arc consistency
- arc consistency algorithm
- weighted csp arc consistency
- soft constraints arc consistency
- singleton arc consistency
- observations on the usefulness arc consistency
- global cardinality constraints arc consistency
- virtual simulations temporal consistency
- virtual environments consistency and fairness
- efficient arc consistency algorithm csp problems
- constraint checks arc consistency
- table constraints arc consistency