#SAT

Briefing: When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)

Strategic angle: Exploring the complexities of classical planning problems and their representations.