Sciweavers

1300 search results - page 32 / 260
» Constraint satisfaction problems and global cardinality cons...
Sort
View
AAAI
1996
14 years 11 months ago
Enhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem
Two methods are described for enhancing performance of branch and bound methods for overconstrained CSPS. These methods improve either the upper or lower bound, respectively, duri...
Richard J. Wallace
MODELS
2009
Springer
15 years 2 months ago
CSP(M): Constraint Satisfaction Problem over Models
Ákos Horváth, Dániel Varr&oac...