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

Institutions

  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]