@doctoralThesis{Behle_2007, title={Binary decision diagrams and integer programming}, author={Behle, Markus}, doi={http://dx.doi.org/10.22028/D291-25978}, year={2007} }