Lilotane: A Lifted SAT-based Approach to Hierarchical Planning

Open in new window