Back to Results
First PageMeta Content
Theoretical computer science / Logic / Mathematical logic / Logic in computer science / Artificial intelligence / Automated reasoning / Automated theorem proving / Predicate logic / Quantifier / Andrei Voronkov / Z3 / Alt-Ergo


AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK
Add to Reading List

Document Date: 2016-10-06 05:17:59


Open Document

File Size: 594,13 KB

Share Result on Facebook