2042 search results - page 84 / 409 » Variable Number of |
164
click to vote
AAAI
2012
13 years 6 months ago
2012
Markov decision processes (MDPs) are an established framework for solving sequential decision-making problems under uncertainty. In this work, we propose a new method for batchmod...
150
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-fo...
124
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents an algorithm that achieves hyper-arc consistency for the soft alldifferent constraint. To this end, we prove and exploit the equivalence with a minimum-cost flo...
123
click to vote
SPLC
2008
15 years 5 months ago
2008
Scalability is recognized as a key challenge in the automated analysis of Feature Models (FMs). Current solutions in this context mainly propose using different logic paradigms as...
122
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
In this note we study the existence of a solution to the survey-propagation equations for the random K-satisfiability problem for a given instance. We conjecture that when the num...