@doctoralThesis{Steinmetz_2022,
title={Conflict-driven learning in AI planning state-space search},
author={Steinmetz, Marcel},
doi={http://dx.doi.org/10.22028/D291-38468},
year={2022}
}