Sign in
OMTPlan: A Tool for Optimal Planning Modulo Theories.
Francesco Leofante
Published in:
J. Satisf. Boolean Model. Comput. (2023)
Keyphrases
</>
optimal planning
modulo theories
heuristic search
domain independent
admissible heuristics
genetic algorithm
search algorithm
general purpose
planning problems
answer set programming
planning domains