by Giles Reger, Nikolaj Bjorner, Martin Suda, Andrei Voronkov
Reference:
AVATAR Modulo TheoriesGiles Reger, Nikolaj Bjorner, Martin Suda, Andrei VoronkovGCAI 2016. 2nd Global Conference on Artificial Intelligence (Christoph Benzm\verb=\="uller, Geoff Sutcliffe, Raul Rojas, eds.), volume 41 of EPiC Series in Computing, pages 39-52, 2016, EasyChair.
Bibtex Entry:
@inproceedings{GCAI2016:AVATAR_Modulo_Theories,
author = {Giles Reger and Nikolaj Bjorner and Martin Suda and Andrei Voronkov},
title = {AVATAR Modulo Theories},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\verb=\="uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {39-52},
year = {2016},
publisher = {EasyChair},
url = {http://www.easychair.org/publications/download/AVATAR_Modulo_Theories},
bibsource = {EasyChair, http://www.easychair.org},
issn = {2398-7340}}