Slide 1 Decision Procedures for Presburger Arithmetic Presented by Constantinos Bartzis Slide 2 Presburger formulas numeral ::= 0 | 1 | 2… var ::= x | y | z … relop ::=…