System Description: Multi A Multi-strategy Proof Planner.

Andreas Meier Erica Melis

Published in: CADE (2005)

Keyphrases

genetic algorithm
multi agent
special case
dynamic programming
metaheuristic
resource allocation
heuristic search
domain independent