1051 search results - page 6 / 211 » Foundations of Constraint Satisfaction |
148
click to vote
IJCAI
1989
15 years 1 months ago
1989
This paper describes the design and implementation of a constraint satisfaction system that uses delayed evaluation techniques to provide greater representational power and to avo...
103
Voted
IJCAI
2003
15 years 1 months ago
2003
We present an algorithm Pref-AC that limits arc consistency (AC) to the preferred choices of a tree search procedure and that makes constraint solving more efficient without chan...
CCS
2001
ACM
15 years 4 months ago
2001
ACM
The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.
STOC
2006
ACM
16 years 12 days ago
2006
ACM
120
click to vote
AISC
2004
Springer
15 years 5 months ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...