AVATAR Modulo Theories

Giles Reger, Nikolaj Bjørner, Martin Suda 0001, Andrei Voronkov. AVATAR Modulo Theories. In Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas, editors, GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany. Volume 41 of EPiC Series in Computing, pages 39-52, EasyChair, 2016. [doi]

Abstract

Abstract is missing.