Sciweavers

Share
CAV
2004
Springer

Abstraction-Based Satisfiability Solving of Presburger Arithmetic

11 years 3 months ago
Abstraction-Based Satisfiability Solving of Presburger Arithmetic
Daniel Kroening, Joël Ouaknine, Sanjit A. Ses
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where CAV
Authors Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman
Comments (0)
books