On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables
(2001) International Joint Conference on Automated Reasoning (IJCAR 2001)
Files
BJW01-ijcar.pdf
Open Access - Adobe PDF
- 177.14 KB
Details
- Authors
- Affiliations
Citations
Boigelot, B., Jodogne, S., & Wolper, P. (2001). On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. Lecture Notes in Computer Science, 2083(1), 611-625. https://doi.org/10.1007/3-540-45744-5_50 (Original work published 2001)