Sciweavers

114 search results - page 7 / 23
» Implementing Propagators for Tabular Constraints
Sort
View
CP
2010
Springer
13 years 6 months ago
A Systematic Approach to MDD-Based Constraint Programming
Abstract. Fixed-width MDDs were introduced recently as a more refined alternative for the domain store to represent partial solutions to CSPs. In this work, we present a systemati...
Samid Hoda, Willem Jan van Hoeve, John N. Hooker
CP
2005
Springer
14 years 1 months ago
Speeding Up Constrained Path Solvers with a Reachability Propagator
Constrained path problems have to do with finding paths in graphs subject to constraints. One way of constraining the graph is by enforcing reachability on nodes. For instance, i...
Luis Quesada, Peter Van Roy, Yves Deville
IJCAI
1997
13 years 9 months ago
Local Consistency for Ternary Numeric Constraints
We consider algorithms of the Waltz type for computing local consistency (also called arcconsistency) for constraints over numeric domains. Many commonlyused propagationrules do n...
Boi Faltings, Esther Gelle
ICIAP
2007
ACM
13 years 9 months ago
A New Stereo Algorithm Integrating Luminance, Gradient and Segmentation Informations in a Belief-Propagation Framework
The paper deals with the design and implementation of a stereo algorithm. Disparity map is formulated as a Markov Random Field with a new smoothness constraint depending not only ...
Nello Balossino, Maurizio Lucenteforte, Luca Piova...
SAC
2003
ACM
14 years 1 months ago
Coordination-Based Distributed Constraint Solving in DICE
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...
Peter Zoeteweij