Sciweavers

1353 search results - page 77 / 271
» Streamlined Constraint Reasoning
Sort
View
ICLP
1993
Springer
14 years 1 months ago
A Minimal Extension of the WAM for clp(FD)
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
Daniel Diaz, Philippe Codognet
ECAI
2008
Springer
13 years 11 months ago
A Decomposition Technique for Max-CSP
The objective of the Maximal Constraint Satisfaction Problem (Max-CSP) is to find an instantiation which minimizes the number of constraint violations in a constraint network. In t...
Hachemi Bennaceur, Christophe Lecoutre, Olivier Ro...
RR
2007
Springer
14 years 3 months ago
Web Services Discovery and Constraints Composition
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...
Debmalya Biswas
CP
2004
Springer
14 years 2 months ago
Speeding Up Constraint Propagation
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
Christian Schulte, Peter J. Stuckey
CPAIOR
2006
Springer
14 years 25 days ago
Event-Driven Probabilistic Constraint Programming
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
Armagan Tarim, Brahim Hnich, Steven David Prestwic...