Sciweavers

CP
2003
Springer
15 years 5 months ago
An Algebraic Approach to Multi-sorted Constraints
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
Andrei A. Bulatov, Peter Jeavons
101
Voted
CP
2003
Springer
15 years 5 months ago
Constraint-Based Optimization with the Minimax Decision Criterion
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
Craig Boutilier, Relu Patrascu, Pascal Poupart, Da...
CP
2003
Springer
15 years 5 months ago
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search
We provide a reformulation of the constraint hierarchies (CHs) framework based on the notion of error indicators. Adapting the generalized view of local consistency in semiring-ba...
Stefano Bistarelli, Philippe Codognet, Kin Chuen H...
CP
2003
Springer
15 years 5 months ago
Distributed Forward Checking
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
Ismel Brito, Pedro Meseguer
66
Voted
CP
2003
Springer
15 years 5 months ago
Improving Backtrack Search for Solving the TCSP
Lin Xu, Berthe Y. Choueiry
81
Voted
CP
2003
Springer
15 years 5 months ago
HIBISCUS: A Constraint Programming Application to Staff Scheduling in Health Care
Stéphane Bourdais, Philippe Galinier, Gille...