Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1706.09236.pdf (Preprint), 572KB
Fontaine, P., Ogawa, M., Sturm, T., & Vu, X. T. (2017). Subtropical Satisfiability. Retrieved from http://arxiv.org/abs/1706.09236.