On Solving Presburger and Linear Arithmetic with SAT.

Ofer Strichman

Browse the full FMCAD paper archive.