Abstraction-based satisfiability solving of Presburger arithmetic (2004)

by D Kroening, J Ouaknine, S A Seshia, O Strichman
Venue:In Proc. 16th International Conference on Computer-Aided Verification (CAV