%0 Journal Article %1 journals/jlap/AbrahamDEK21 %A Ábrahám, Erika %A Davenport, James H. %A England, Matthew %A Kremer, Gereon %D 2021 %J J. Log. Algebraic Methods Program. %K dblp %P 100633 %T Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. %U http://dblp.uni-trier.de/db/journals/jlap/jlap119.html#AbrahamDEK21 %V 119

@article{journals/jlap/AbrahamDEK21, added-at = {2022-01-31T00:00:00.000+0100}, author = {Ábrahám, Erika and Davenport, James H. and England, Matthew and Kremer, Gereon}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28bb409d354f8e2fcea2783a4d23d597d/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2020.100633}, interhash = {513365559b9d4816a8f79f9bdb2b1218}, intrahash = {8bb409d354f8e2fcea2783a4d23d597d}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = 100633, timestamp = {2022-03-01T06:49:00.000+0100}, title = {Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap119.html#AbrahamDEK21}, volume = 119, year = 2021 }