Improving Exact Solution Counting for Decomposition Methods | IEEE Conference Publication | IEEE Xplore