Fingerprint
Dive into the research topics of 'On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
Gereon Kremer, Erika Abraham, Matthew England, James H. Davenport
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
3
Citations
(Scopus)
124
Downloads
(Pure)