Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- E. Ábrahám
- , James H. Davenport
- , Matthew England
- , Gereon Kremer
- RWTH Aachen University
- University of Bath
Research output: Contribution to journal › Article › peer-review
45
Link opens in a new tab
Citations
(Scopus)
157
Downloads
(Pure)