Saturation - PDFSEARCH.IO - Document Search Engine

Saturation
Results: 838

#	Item
1	Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Theoretical computer science Logic in computer science Automated theorem proving Formal methods Constraint programming Logic programming Resolution Unification Satisfiability modulo theories Andrei Voronkov
2	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
3	Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-31 12:00:20 Theoretical computer science Formal methods Mathematical logic School of Computer Science University of Manchester Mathematics Logic in computer science Automated theorem proving Formal verification SPASS Andrei Voronkov Vampire First-order logic
4	Testing a Saturation-Based Theorem Prover: Experiences and Challenges? Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-31 05:29:21 Theoretical computer science Formal methods Mathematics Logic in computer science Mathematical logic Automated theorem proving School of Computer Science University of Manchester Automated reasoning Formal verification E theorem prover IP Satisfiability modulo theories
5	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
6	RIGIDITY OF CONTINUOUS QUOTIENTS ILIJAS FARAH AND SAHARON SHELAH Abstract. We study countable saturation of metric reduced products and introduce continuous fields of metric structures indexed by locally compact, separab Add to Reading List Source URL: www.math.yorku.ca Language: English - Date: 2014-06-17 17:30:49
7	Saturation of Concurrent Collapsible Pushdown Systems M. Hague Royal Holloway University of London, and LIGM, Marne-la-Vall´ee arXiv:1310.2631v1 [cs.FL] 9 Oct 2013 Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-10-11 06:52:48
8	AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology Add to Reading List Source URL: itp2016.inria.fr Language: English - Date: 2016-08-30 03:42:56
9	Compression and Limiting in Distortion Boxes There is compression and limiting in every overdrive, distortion, fuzz, squash, saturation or crunch circuit. There is no way around it. To explain why, we need to first under Add to Reading List Source URL: www.muzique.com Language: English - Date: 2008-01-01 11:15:53
10	A Saturation Method for Collapsible Pushdown Systems⋆ C. Broadbent1 , A. Carayol2 , M. Hague1,2 , and O. Serre1 1 LIAFA, Universit´e Paris Diderot – Paris 7 & CNRS Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:58