10907 search results - page 329 / 2182 » Constraint Based Strategies |
149
click to vote
FOSSACS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
208
click to vote
ICPPW
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a constraint satisfaction proble...
167
Voted
CP
2007
Springer
16 years 28 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
161
click to vote
CPAIOR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The NValue constraint counts the number of different values assigned to a vector of variables. Propagating generalized arc consistency on this constraint is NP-hard. We ...
181
Voted
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...