Bernd Schattenberg [email protected]
Pascal Bercher [email protected]
edited (removed "hybrid" features and converted to TO domain) by Gregor Behnke [email protected]
The domain was converted to a totally ordered domain for the following paper: totSAT-Totally-ordered hierarchical planning through SAT, Gregor Behnke, Daniel Höller, Susanne Biundo, AAAI, 2018. PDF