73 search results - page 2 / 15 » A Landscape Analysis of Constraint Satisfaction Problems |
CORR
2000
Springer
13 years 10 months ago
2000
Springer
CCS
2001
ACM
14 years 3 months ago
2001
ACM
The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.
JACM
2010
13 years 9 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
CISSE
2009
Springer
14 years 2 months ago
2009
Springer
: We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two ...
AAAI
1990
14 years 11 hour ago
1990
Bandwidth is a fundamental concept in graph theory which has some surprising applications to a class of AI search problems. Graph bandwidth provides a link between the syntactic s...