Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings.
Erika ÁbrahámJames H. DavenportMatthew EnglandGereon KremerPublished in: J. Log. Algebraic Methods Program. (2021)