Search Sciweavers | Sciweavers

858 search results - page 8 / 172

» A Glimpse of Constraint Satisfaction

click to vote

CACM
2010

94views more CACM 2010»

Constraint satisfaction problems and global cardinality constraints

13 years 7 months ago

Download www.cs.bme.hu

Andrei A. Bulatov, Dániel Marx

claim paper

Read More »

click to vote

IJCAI
1989

148views Artificial Intelligence» more IJCAI 1989»

Constraint Satisfaction with Delayed Evaluation

13 years 8 months ago

Download dli.iiit.ac.in

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...

Monte Zweben, Megan Eskey

claim paper

Read More »

click to vote

IJCAI
2003

116views Artificial Intelligence» more IJCAI 2003»

Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving

13 years 9 months ago

Download www.lirmm.fr

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 efﬁcient without chan...

Christian Bessière, Anaïs Fabre, Ulric...

claim paper

Read More »

click to vote

CCS
2001
ACM

132views Security Privacy» more CCS 2001»

Constraint solving for bounded-process cryptographic protocol analysis

14 years 4 days ago

Download www.csl.sri.com

The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.

Jonathan K. Millen, Vitaly Shmatikov

claim paper