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)
Korovin, K., Košta, M., & Sturm, T. (2014). Towards Conflict-driven Learning for Virtual Substitution. In P. Rümmer, & C. M. Wintersteiger (Eds.), 12th International Workshop on Satisfiability Modulo Theories (pp. 71-71). Aachen: CEUR-WS.org.