Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Ábrahám, Erika (Corresponding author); Davenport, James H.; England, Matthew; Kremer, Gereon
Amsterdam [u.a.] : Elsevier Science (2020, 2021)
Journal Article
In: Journal of Logical and Algebraic Methods in Programming
Volume: 119
Page(s)/Article-Nr.: 100633
Institutions
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
Identifier
- DOI: 10.1016/j.jlamp.2020.100633
- DOI: 10.18154/RWTH-2021-02922
- RWTH PUBLICATIONS: RWTH-2021-02922