3
$\begingroup$

What are good textbook references for Presburger Arithmetic decision procedures?

$\endgroup$
2

1 Answer 1

3
$\begingroup$

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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.