Bernd Schattenberg mail@berndschattenberg.de
Pascal Bercher pascal.bercher@anu.edu.au
edited (removed "hybrid" features and converted to TO domain) by Gregor Behnke behnkeg@informatik.uni-freiburg.de
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