Košta, Marek Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Link (Any fulltext)
Košta, M., Sturm, T., & Dolzmann, A. (2014). Better Answers to Real Questions. In P. Rümmer, & C. M. Wintersteiger (Eds.), 12th International Workshop on Satisfiablity Modulo Theories (pp. 69-69). Aachen: CEUR-WS.org.