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 is missing.