942 search results - page 6 / 189 » Cooperating Constraint Solvers |
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
CP
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Constraint propagation solvers interleave propagation, removing impossible values from variable domains, with search. The solver state is modified during propagation. But...
ECAI
2004
Springer
14 years 3 days ago
2004
Springer
Distributed constraint satisfaction, in its most general acceptation, involves a collection of agents solving local constraint satisfaction subproblems, and a communication protoco...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives prel...
DAC
2003
ACM
14 years 7 months ago
2003
ACM
