603 search results - page 12 / 121 » DFS-Tree Based Heuristic Search |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
AIR
2002
13 years 7 months ago
2002
JAIR
2010
13 years 6 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...
IWANN
2001
Springer
14 years 9 days 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...
CP
2010
Springer
13 years 6 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...