Sciweavers

1300 search results - page 32 / 260
» Constraint satisfaction problems and global cardinality cons...
Sort
View
AAAI
1996
15 years 7 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 10 months ago
CSP(M): Constraint Satisfaction Problem over Models
Ákos Horváth, Dániel Varr&oac...