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)
Fachzeitschriftenartikel

In: Journal of Logical and Algebraic Methods in Programming
Band: 119
Seite(n)/Artikel-Nr.: 100633

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]