Abstraction-Based Satisfiability Solving of Presburger Arithmetic.

Daniel Kroening, Jol Ouaknine, Sanjit A. Seshia, Ofer Strichman

Browse the full CAV paper archive.