An effective decision procedure for linear arithmetic over the integers and reals
(2005) ACM Transactions on Computational Logic — Vol. 6, n° 3, p. 614-633 (2005)
Files
BJW05.pdf
Open Access - Adobe PDF
- 212.94 KB
Details
- Authors
- Affiliations
Citations
Boigelot, B., Jodogne, S., & Wolper, P. (2005). An effective decision procedure for linear arithmetic over the integers and reals. ACM Transactions on Computational Logic, 6(3), 614-633. https://doi.org/10.1145/1071596.1071601 (Original work published 2005)