1381 search results - page 19 / 277 » Computational Complexity of Constraint Satisfaction |
122
click to vote
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
We provide a full characterization of applicability of The Local Consistency Checking algorithm to solving the non-uniform Constraint Satisfaction Problems. This settles the conje...
118
click to vote
DAGSTUHL
2008
15 years 5 months ago
2008
Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
180
click to vote
SCP
2011
14 years 10 months ago
2011
Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, howe...
112
click to vote
CAD
1999
Springer
15 years 3 months ago
1999
Springer
The numerical approach to solving geometric constraint problems is indispensable for building a practical CAD system. The most commonly-used numerical method is the Newton
134
click to vote
SPDP
1991
IEEE
15 years 7 months ago
1991
IEEE
This paper develops two new algorithms for solving a finite constraint satisfaction problem (FCSP) in parallel. In particular, we give a parallel algorithm for the EREW PRAM model...