@inproceedings{KorovinEtAl:2014b,
TITLE = {Towards Conflict-driven Learning for Virtual Substitution},
AUTHOR = {Korovin, Konstantin and Ko{\v s}ta, Marek and Sturm, Thomas},
LANGUAGE = {eng},
ISSN = {1613-0073},
URL = {urn:nbn:de:0074-1163-4},
PUBLISHER = {CEUR-WS.org},
YEAR = {2014},
BOOKTITLE = {12th International Workshop on Satisfiability Modulo Theories (SMT 2014)},
EDITOR = {R{\"u}mmer, Philipp and Wintersteiger, Christoph M.},
PAGES = {71--71},
SERIES = {CEUR Workshop Proceedings},
VOLUME = {1163},
ADDRESS = {Vienna, Austria},
}