@doctoralThesis{Kästner_2000, title={Retargetable postpass optimisation by integer linear programming}, author={Kästner, Daniel}, doi={http://dx.doi.org/10.22028/D291-25713}, year={2000} }