AVATAR Modulo Theories

Reger, Giles; Bjorner, Nikolaj; Suda, Martin; Voronkov, Andrei

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}}