Abstraction-based satisfiability solving of Presburger arithmetic (2004)

by D Kroening, J Ouaknine, S A Seshia, O Strichman
Venue:In CAV