Exploiting Strict Constraints in the Cylindrical Algebraic Covering

Bär, Philipp (Corresponding author); Nalbach, Jasper Kurt Ferdinand (Corresponding author); Ábrahám, Erika (Corresponding author); Brown, Christopher W.

(2023)
Preprint

Einrichtungen

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