Return to Article Details Lilotane: A Lifted SAT-based Approach to Hierarchical Planning Download Download PDF