Date: 2016-07-20 13:24:35Theoretical computer science Automated theorem proving Mathematics Mathematical logic Formal methods Logic in computer science Resolution Logic programming Clause Vampire Boolean satisfiability problem CARINE | | Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search foAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 203,89 KBShare Document on Facebook
|