@techreport{AchterbergHeinzKoch2008, author = {Tobias Achterberg and Stefan Heinz and Thorsten Koch}, title = {Counting solutions of integer programs using unrestricted subtree detection}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {08-09}, language = {eng}, year = {2008} }