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]