Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints.

Cunjing Ge, Armin Biere

Browse the full CP paper archive.