What are good textbook references for Presburger Arithmetic decision procedures?
$\begingroup$
$\endgroup$
2
-
4$\begingroup$ scholar.google.com/scholar?q=Presburger+arithmetic+algorithm $\endgroup$– KavehCommented Nov 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$– codyCommented Nov 10, 2014 at 14:51
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
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.