4488 search results - page 83 / 898 » Focusing Search by Using Problem Solving Experience |
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...
134
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
108
click to vote
AAAI
1994
15 years 4 months ago
1994
We present the results of an empirical study of several constraint satisfaction search algorithms and heuristics. Using a random problem generator that allows us to create instanc...
141
click to vote
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The aggregation of objectives in multiple criteria programming is one of the simplest and widely used approach. But it is well known that these techniques sometimes fail ...
137
click to vote
UAI
2004
15 years 4 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...