Sciweavers

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