1051 search results - page 6 / 211 » Foundations of Constraint Satisfaction |
IJCAI
1989
14 years 20 hour 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...
IJCAI
2003
14 years 7 days 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
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.
STOC
2006
ACM
14 years 11 months ago
2006
ACM
AISC
2004
Springer
14 years 4 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...