Abstraction-Based Satisfiability Solving of Presburger Arithmetic (2004)

by D Kroening, J Ouaknine, S Seshia, O Strichman
Venue:In Proc. CAV’04, volume 3114 of LNCS