Sciweavers

1181 search results - page 7 / 237
» constraints 2004
Sort
View
77
Voted
AICOM
2004
70views more  AICOM 2004»
14 years 10 months ago
Model checking for the concurrent constraint paradigm
Alicia Villanueva
COMBINATORICS
2004
58views more  COMBINATORICS 2004»
14 years 10 months ago
Cyclic Labellings with Constraints at Two Distances
R. A. Leese, S. D. Noble
89
Voted
CI
2004
85views more  CI 2004»
14 years 10 months ago
Soft Constraint Propagation and Solving in Constraint Handling Rules
Soft constraints are a generalization of classical constraints, which allow for the description of preferences rather than strict requirements. In soft constraints, constraints and...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
86
Voted
CORR
2004
Springer
136views Education» more  CORR 2004»
14 years 10 months ago
On Global Warming (Softening Global Constraints)
We describe soft versions of the global cardinality constraint and the regular constraint, with efficient filtering algorithms maintaining domain consistency. For both constraints,...
Willem Jan van Hoeve, Gilles Pesant, Louis-Martin ...
110
Voted
AISC
2004
Springer
15 years 4 months ago
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
Laurent Granvilliers, Mina Ouabiba