Sciweavers

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