Efficient SAT Encodings for Hierarchical Planning.

Dominik Schreiber Damien Pellier Humbert Fiorino Tomás Balyo

Published in: ICAART (2) (2019)

Keyphrases

reinforcement learning
search space