Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods.

Vijay Ganesh, Sergey Berezin, David L. Dill

Browse the full FMCAD paper archive.