What are good textbook references for Presburger Arithmetic decision procedures?
-
4$\begingroup$ scholar.google.com/scholar?q=Presburger+arithmetic+algorithm $\endgroup$– KavehNov 8, 2014 at 20:39
-
1$\begingroup$ To be fair, it may be useful for an informed answer that explains the state of the art and the various tradeoffs. $\endgroup$– codyNov 10, 2014 at 14:51
1 Answer
John Harrison's handbook on automated theorem proving contains a fairly detailed description of Cooper's algorithm, including the steps necessary for an implementation in ML.
Harrison, J. (2009). Handbook of practical logic and automated reasoning. Cambridge University Press.