Volume Computation for Boolean Combination of Linear Arithmetic Constraints.

Feifei Ma, Sheng Liu, Jian Zhang

Browse the full CADE paper archive.