Saturation

Results: 838



#Item
1Theoretical computer science / Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Logic programming / Resolution / Unification / Satisfiability modulo theories / Andrei Voronkov

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
2Formal methods / Theoretical computer science / Complexity classes / Automated theorem proving / Vampire / NP / IP / Mathematics / Constraint programming / Proof compression

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
3Theoretical 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

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
4Theoretical 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

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
5Theoretical 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 fo

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 13:24:35
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
            UPDATE