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