Sciweavers

1181 search results - page 7 / 237
» constraints 2004
Sort
View
106
Voted
AICOM
2004
70views more  AICOM 2004»
15 years 3 months ago
Model checking for the concurrent constraint paradigm
Alicia Villanueva
82
Voted
COMBINATORICS
2004
58views more  COMBINATORICS 2004»
15 years 3 months ago
Cyclic Labellings with Constraints at Two Distances
R. A. Leese, S. D. Noble
127
Voted
CI
2004
85views more  CI 2004»
15 years 3 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...
126
Voted
CORR
2004
Springer
136views Education» more  CORR 2004»
15 years 3 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 ...
AISC
2004
Springer
15 years 8 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