Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings

Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon

Amsterdam [u.a.] : Elsevier Science (2020)
Preprint