Andrei Voronkov - PDFSEARCH.IO - Document Search Engine

Andrei Voronkov
Results: 12

#	Item
1	Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:09 Formal methods Theoretical computer science Complexity classes Automated theorem proving Vampire NP IP Mathematics Constraint programming Proof compression
2	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 fo Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:35 Theoretical computer science Automated theorem proving Mathematics Mathematical logic Formal methods Logic in computer science Resolution Logic programming Clause Vampire Boolean satisfiability problem CARINE
3	nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Andrei Voronkov University of Manch Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2013-10-07 09:23:37
4	The Guide for Writing Word Documents in Microsoft Word for EasyChair Publication Andrei Voronkov1 and Kryštof Hoder1 1 University of Manchester, Manchester, U.K. , Abstract In or Add to Reading List Source URL: workshop.sciaccess.net Language: English - Date: 2015-08-14 02:59:56 Software School of Computer Science University of Manchester Academic conferences EasyChair Microsoft Office Andrei Voronkov Microsoft Word LaTeX Search engine indexing HTML element Abstract management LibreOffice
5	Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2015-08-02 19:16:33 Automated theorem proving Software CADE ATP System Competition E theorem prover CASC Andrei Voronkov Mathematical logic
6	The Guide for Writing Word Documents in Microsoft Word for Procedia Publication Andrei Voronkov1,2and Kryštof Hoder2 1The University of Manchester, Manchester, U.K. 2EasyChair, Manchester, U.K. , ho Add to Reading List Source URL: easychair.org Language: English - Date: 2016-04-08 12:35:50 School of Computer Science University of Manchester Academic conferences EasyChair Andrei Voronkov Microsoft Word Search engine indexing LaTeX HTML element Microsoft Office shared tools Abstract management
7	Playing in the Grey Area of Proofs Kryˇstof Hoder Laura Kov´acs Andrei Voronkov Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2011-11-08 19:43:36
8	New Features and Applications of Vampire Symbol Elimination and Interpolation for Software Verification ´ Kryˇstof Hoder, Laura Kovacs, Andrei Voronkov Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2011-08-03 05:21:47
9	Vampire Usage and Demo Krystof Hoder Laura Kovacs Andrei Voronkov h Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2011-08-03 05:21:47
10	EasyChair - Invited Talk - Andrei Voronkov The University of Manchester Add to Reading List Source URL: www.complang.tuwien.ac.at - Date: 2010-07-28 04:25:06