1. SC2: satisfiability checking meets symbolic computation;Ábrahám,2016
2. Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings;Ábrahám;J. Log. Algebraic Methods Program.,2021
3. SyNRAC: a Maple-package for solving real algebraic constraints;Anai,2003
4. Cylindrical algebraic decomposition II: an adjacency algorithm for the plane;Arnon;SIAM J. Comput.,1984
5. The SMT-LIB standard: version 2.0;Barrett,2010