Login / Signup

Volume Computation for Boolean Combination of Linear Arithmetic Constraints.

Feifei MaSheng LiuJian Zhang
Published in: CADE (2009)
Keyphrases
  • linear arithmetic constraints
  • linear programming