Login / Signup

Approximate Integer Solution Counts over Linear Arithmetic Constraints.

Cunjing Ge
Published in: AAAI (2024)
Keyphrases
  • integer solution
  • linear arithmetic constraints
  • linear programming relaxation
  • linear programming
  • linear complementarity problem
  • data model
  • linear program
  • feasible solution
  • upper bound