330 search results - page 2 / 66 » Diagnosing and Solving Over-Determined Constraint Satisfacti... |
WSTST
2005
Springer
13 years 11 months ago
2005
Springer
SARA
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
CCS
2001
ACM
13 years 10 months ago
2001
ACM
The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.
CP
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...
CEC
2007
IEEE
14 years 16 days ago
2007
IEEE
—Constraint satisfaction problems (CSPs) widely occur in artificial intelligence. In the last twenty years, many algorithms and heuristics were developed to solve CSP. Recently,...