603 search results - page 12 / 121 » DFS-Tree Based Heuristic Search |
54
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
131
Voted
AIR
2002
15 years 3 months ago
2002
163
click to vote
JAIR
2010
15 years 2 months ago
2010
LAMA is a classical planning system based on heuristic forward search. Its core feature is the use of a pseudo-heuristic derived from landmarks, propositional formulas that must b...
123
click to vote
IWANN
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The Frequency Assignment Problem (FAP) is a very important problem of practical interest. This work compares several evolutionary approaches to this problem, based both i...
140
Voted
CP
2010
Springer
15 years 2 months ago
2010
Springer
Generic SAT solvers have been very successful in solving hard combinatorial problems in various application areas, including AI planning. There is potential for improved performanc...