Representation and parallelization techniques for classical planning. - Tim-Christian Schmidt (2012)