288 search results - page 34 / 58 » Inclusion Problems for Patterns with a Bounded Number of Var... |
115
Voted
AI
2006
Springer
15 years 3 months ago
2006
Springer
Finite-domain constraint programming has been used with great success to tackle a wide variety of combinatorial problems in industry and academia. To apply finite-domain constrain...
169
Voted
RANDOM
2001
Springer
15 years 7 months ago
2001
Springer
We consider the problem of determining whether a given function ¢ £ ¤¥ ¦ §¨© ¤¥ ¦ §¨ belongs to a certain class of Boolean functions or whether it is far from the...
113
click to vote
COLT
2004
Springer
15 years 8 months ago
2004
Springer
We consider the problem of labeling a partially labeled graph. This setting may arise in a number of situations from survey sampling to information retrieval to pattern recognition...
120
click to vote
CATS
2008
15 years 4 months ago
2008
We study the consistency problem for extended global cardinality (EGC) constraints. An EGC constraint consists of a set X of variables, a set D of values, a domain D(x) D for eac...
105
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...