1. Achterberg, T., Heinz, S., Koch, T.: Counting solutions of integer programs using unrestricted subtree detection. In: Perron, L., Trick, M.A. (eds.) Proceedings of CPAIOR, pp. 278–282. Springer, New York (2008)
2. Akers, S.B.: Binary decision diagrams. IEEE Trans. Comput. C–27, 509–516 (1978)
3. Lecture Notes in Computer Science;HR Andersen,2007
4. Arthur, J.A., Hachey, M., Sahr, K., Huso, M., Kiester, A.R.: Finding all optimal solutions to the reserce site selection problem: Formulation and computational analysis. Environ. Ecol. Stat. 4, 153–165 (1997)
5. Behle, M.: Binary decision diagrams and integer programming. In: Ph.D. Thesis, Universitat des Saarlandes (2007)