Sciweavers

1300 search results - page 36 / 260
» Constraint satisfaction problems and global cardinality cons...
Sort
View
58
Voted
JACIII
2006
74views more  JACIII 2006»
14 years 9 months ago
Extending Fuzzy Constraint Satisfaction Problems
Yasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura
SAT
2004
Springer
115views Hardware» more  SAT 2004»
15 years 3 months ago
Full CNF Encoding: The Counting Constraints Case
Abstract. Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding...
Olivier Bailleux, Yacine Boufkhad
59
Voted
DAGSTUHL
2006
14 years 11 months ago
Constraint Satisfaction with Succinctly Specified Relations
Abstract. The general intractability of the constraint satisfaction problem (CSP) has motivated the study of the complexity of restricted cases of this problem. Thus far, the liter...
Hubie Chen, Martin Grohe