Publisher
Springer Nature Switzerland
Reference25 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);E Ábrahám,2016
2. Ábrahám, E., Davenport, J.H., England, M., Kremer, G.: Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. J. Logical Algebraic Methods Program. 119, 100633 (2021). https://doi.org/10.1016/j.jlamp.2020.100633
3. Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability (Volume 185 Frontiers in Artificial Intelligence and Applications). IOS Press (2009)
4. Bradford, R., Davenport, J.H., England, M., McCallum, S., Wilson, D.: Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76, 1–35 (2016). https://doi.org/10.1016/j.jsc.2015.11.002
5. Brown, C.W.: Open non-uniform cylindrical algebraic decompositions. In: Proceedings of the 2015 International Symposium on Symbolic and Algebraic Computation, pp. 85–92. ISSAC 2015, ACM (2015). https://doi.org/10.1145/2755996.2756654