Author:
del Río Tereso,England Matthew
Publisher
Springer International Publishing
Reference27 articles.
1. Á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. Log. Algebraic Methods Program. 119, 100633 (2021). https://doi.org/10.1016/j.jlamp.2020.100633
2. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016), www.SMT-LIB.org
3. Bradford, R., Davenport, J.H., England, M., McCallum, S., Wilson, D.: Truth table invariant cylindrical algebraic decomposition. J. Symbol. Comput. 76, 1–35, 100633 (2016). https://doi.org/10.1016/J.JSC.2015.11.002
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);R Bradford,2013
5. Brown, C.W.: Companion to the tutorial cylindrical algebraic decomposition. In: International Symposium on Symbolic and Algebraic Computation - ISSAC (2004). www.usna.edu/Users/cs/wcbrown/research/ISSAC04/handout.pdf
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献