Approximate Integer Solution Counts over Linear Arithmetic Constraints.

Published in: CoRR (2023)

Keyphrases

lower bound
linear programming relaxation
integer solution
linear arithmetic constraints
linear programming
linear complementarity problem
feasible solution
database
linear program
knapsack problem