Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1607.08028.pdf (Preprint), 199KB
Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., et al. (2016). SC2: Satisfiability Checking meets Symbolic Computation (Project Paper). Retrieved from http://arxiv.org/abs/1607.08028.