<p>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.</p>

<p>Harrison, J. (2009). <em>Handbook of practical logic and automated reasoning.</em> Cambridge University Press.</p>

CC BY-SA 3.0
2015-09-07T14:21:07.417Z
2015-09-07T14:21:07.417Z
Christoph Haase
<p>What are good textbook references for Presburger Arithmetic decision procedures?</p>

CC BY-SA 3.0
2014-11-08T20:39:49.183Z
http://scholar.google.com/scholar?q=Presburger+arithmetic+algorithm
Kaveh
CC BY-SA 3.0
2014-11-10T14:51:38.387Z
To be fair, it may be useful for an informed answer that explains the state of the art and the various tradeoffs.
cody
<reference-request><lo.logic>
Presburger Arithmetic Decision Procedures
Tony Johnson
# Presburger Arithmetic Decision Procedures

(Asked by: username_0 on 2014-11-08)

What are good textbook references for Presburger Arithmetic decision procedures?

**Tags:** reference-request, lo.logic
> **Comments:**
> **username_1**: http://scholar.google.com/scholar?q=Presburger+arithmetic+algorithm  
> **username_2**: To be fair, it may be useful for an informed answer that explains the state of the art and the various tradeoffs.  

---

## 1 answers

### Answer by username_3 on 2015-09-07. Score: 3 | Accepted 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.


---

