714 search results - page 8 / 143 » Lexicographically-ordered constraint satisfaction problems |
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
The study of constraint satisfaction problems definable in various fragments of Datalog has recently gained considerable importance. We consider constraint satisfaction problems ...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the s...
AAAI
1994
13 years 10 months ago
1994
New approaches to solving constraint satisfaction problems using iterative improvement techniques have been found to be successful on certain, very large problems such as the mill...
STOC
2005
ACM
14 years 8 months ago
2005
ACM
AIMSA
2004
Springer
14 years 1 months ago
2004
Springer
Nowadays, many real problem in Artificial Intelligence can be modeled as constraint satisfaction problems (CSPs). A general rule in constraint satisfaction is to tackle the hardes...