@phdthesis{seipp-phd2018,
    author = "Seipp, Jendrik",
    school = "University of Basel",
    title = "Counterexample-guided {Cartesian} Abstraction Refinement and Saturated Cost Partitioning for Optimal Classical Planning",
    year = "2018"
}