Abstraction−based Satisfiability Solving of Presburger Arithmetic
Daniel Kroening‚ Joel Ouaknine‚ Sanjit Seshia and Ofer Strichman
Book Title
Proceedings of CAV 2004
Editor
Rajeev Alur and Doron A. Peled
ISBN
3−540−22342−8
Month
July
Number
3114
Pages
308–320
Series
LNCS
Year
2004