Sciweavers

1738 search results - page 15 / 348
» Local Consistency and SAT-Solvers
Sort
View
SAC
2006
ACM
14 years 1 months ago
A new local consistency for weighted CSP dedicated to long domains
Matthias Zytnicki, Christine Gaspin, Thomas Schiex
CP
1995
Springer
13 years 11 months ago
Local and Global Relational Consistency
Rina Dechter, Peter van Beek