Keyword:Presburger arithmetic

Publications
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic (Extended Version) Johannes Schoisswohl, Laura Kovács and Konstantin Korovin EasyChair Preprint 13150
Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan, Nikolaj Bjørner and David Monniaux In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Vector Addition Systems Reachability Problem (A Simpler Solution) Jerome Leroux In:Turing-100. The Alan Turing Centenary
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays Angelo Brillout, Daniel Kroening, Philipp Rümmer and Thomas Wahl In:VERIFY-2010. 6th International Verification Workshop