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