2725 search results - page 110 / 545 » Constraint Solving for Interpolation |
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
The reason for using distributed constraint satisfaction algorithms is often to allow agents to find a solution while revealing as little as possible about their variables and co...
101
click to vote
SAT
2004
Springer
15 years 6 months ago
2004
Springer
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
88
Voted
COCOS
2003
Springer
15 years 6 months ago
2003
Springer
In previous work, we have presented a novel global feasibility solver for the large system of quadratic constraints that arise as subproblems in the solving of hard hybrid problems...
103
Voted
ANTSW
2008
Springer
15 years 2 months ago
2008
Springer
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
99
Voted
AMW
2010
15 years 2 months ago
2010
We consider incomplete specifications of XML documents in the presence of schema information and integrity constraints. We show that integrity constraints such as keys and foreign ...