TY  - RPRT
TI  - Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings
AU  - Erika Ábrahám
AU  - James H. Davenport
AU  - Matthew England
AU  - Gereon Kremer
PY  - 2020
DO  - 10.1016/j.jlamp.2020.100633
UR  - https://arxiv.org/abs/2003.05633
ID  - 2003.05633
ER  -