Sciweavers

400 search results - page 7 / 80
» A Synthesis of Constraint Satisfaction and Constraint Solvin...
Sort
View
GI
2009
Springer
14 years 7 days ago
Constraint Checking for Business Process Management
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
Wolfgang Runte, Marwane El Kharbili
CONSTRAINTS
2010
193views more  CONSTRAINTS 2010»
13 years 5 months ago
Constraint propagation on quadratic constraints
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after...
Ferenc Domes, Arnold Neumaier
AISC
2004
Springer
14 years 1 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