Date: 2016-10-06 05:17:59Theoretical 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, UKAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 594,13 KBShare Document on Facebook
|