Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
10.1007%2F978-3-319-66167-4_11.pdf (Verlagsversion), 571KB
Fontaine, P., Ogawa, M., Sturm, T., & Vu, X. T. (2017). Subtropical Satisfiability. In C. Dixon, & M. Finger (Eds.), Frontiers of Combining Systems (pp. 189-206). Berlin: Springer. doi:10.1007/978-3-319-66167-4_11.