Decomposition Strategies to Count Integer Solutions over Linear Constraints.

Cunjing Ge Armin Biere

Published in: IJCAI (2021)

Keyphrases

linear constraints
constraint databases
integer points
nonlinear programming
constraint solver
convex sets
equality constraints
linearly constrained
optimal solution
natural images
feasible solution
decomposition method