Sciweavers

1381 search results - page 44 / 277
» Computational Complexity of Constraint Satisfaction
Sort
View
CORR
2010
Springer
69views Education» more  CORR 2010»
15 years 5 months ago
Efficient Knowledge Base Management in DCSP
DCSP (Distributed Constraint Satisfaction Problem) has been a very important research area in AI (Artificial Intelligence). There are many application problems in distributed AI t...
Hong Jiang
KBS
2007
56views more  KBS 2007»
15 years 5 months ago
Domain-dependent distributed models for railway scheduling
Many combinatorial problems can be modelled as Constraint Satisfaction Problems (CSPs). Solving a general CSP is known to be NP-complete, so closure and heuristic search are usual...
Miguel A. Salido, Montserrat Abril, Federico Barbe...
114
Voted
SAC
2006
ACM
15 years 11 months ago
A constraint logic programming approach to 3D structure determination of large protein complexes
Alessandro Dal Palù, Enrico Pontelli, Jing ...
AAAI
2004
15 years 7 months ago
The Complexity of Global Constraints
We study the computational complexity of reasoning with global constraints. We show that reasoning with such constraints is intractable in general. We then demonstrate how the sam...
Christian Bessière, Emmanuel Hebrard, Brahi...
IRI
2006
IEEE
15 years 11 months ago
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs
When a Constraint Satisfaction Problem (CSP) admits no solution, most current solvers express that the whole search space has been explored unsuccessfully but do not exhibit which...
Éric Grégoire, Bertrand Mazure, C&ea...