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

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]