Counting Solutions of Integer Programs Using Unrestricted Subtree Detection.

Tobias Achterberg, Stefan Heinz, Thorsten Koch

Browse the full CPAIOR paper archive.