Documents Savoirs Binary decision diagrams and integer programming [Elektronische Ressource] / von Markus Behle Markus Behle