Abstraction-based Satisfiability Solving of Presburger Arithmetic

Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, and Ofer Strichman. Abstraction-based Satisfiability Solving of Presburger Arithmetic. In Proc. 16th International Conference on Computer-Aided Verification (CAV), pp. 308–320, LNCS 3114, Springer-Verlag, July 2004.

Download

[pdf]  [ps] 

Abstract

(unavailable)

BibTeX

@InProceedings{kroening-cav04,
 author = "Daniel Kroening and Jo{\"e}l Ouaknine and Sanjit A. Seshia and Ofer Strichman",
 title = "Abstraction-based Satisfiability Solving of {P}resburger Arithmetic",
 booktitle = CAV04,
 series = "LNCS 3114",
 publisher = "Springer-Verlag",
 month = "July", 
 year = "2004",
 pages = "308--320",
}