Decision diagrams for linear arithmetic.

Sagar Chaki, Arie Gurfinkel, Ofer Strichman

Browse the full FMCAD paper archive.