Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning.
Gregor BehnkePublished in: ICAPS (2021)
Keyphrases
- htn planning
- totally ordered
- planning domains
- ai planning
- partially ordered
- planning problems
- partial order
- planning systems
- hierarchical task network
- orders of magnitude
- description language
- domain independent
- image compression
- heuristic search
- compression algorithm
- integer programming
- classical planning
- partial ordering
- search strategies
- search space
- answer set programming
- web service composition
- partial order planning
- model checking
- metaheuristic