Documents On Solving Presburger and Linear Arithmetic with SAT Ofer Strichman Carnegie Mellon University.

Slide 1On Solving Presburger and Linear Arithmetic with SAT Ofer Strichman Carnegie Mellon University Slide 2 2 The decision problem  A Boolean combination of predicates…