Lara

Results: 1812



#Item
171

LFSC for SMT Proofs: Work in Progress Aaron Stump, Andrew Reynolds, Cesare Tinelli, Austin Laugesen, Harley Eades, Corey Oliver, Ruoyu Zhang PxTP workshop

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2012-08-20 23:39:46
    172

    lara & Leageburtstag.qxp

    Add to Reading List

    Source URL: www.kidslife-magazin.de

    - Date: 2016-03-29 00:49:21
      173

      Model Finding for Recursive Functions in SMT∗ Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , and Cesare Tinelli4 1 4

      Add to Reading List

      Source URL: lara.epfl.ch

      Language: English - Date: 2015-06-09 06:59:23
        174

        Induction for SMT Solvers Andrew Reynolds and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch

        Add to Reading List

        Source URL: lara.epfl.ch

        Language: English - Date: 2014-11-17 03:46:52
          175

          A DPLL(T ) Theory Solver for a Theory of Strings and Regular Expressions? Tianyi Liang1 , Andrew Reynolds1 , Cesare Tinelli1 , Clark Barrett2 , and Morgan Deters2 1 2

          Add to Reading List

          Source URL: lara.epfl.ch

          Language: English - Date: 2014-07-24 18:46:22
            176

            A DPLL(T ) Theory Solver for a Theory of Strings and Regular Expressions? Tianyi Liang1 , Andrew Reynolds1 , Cesare Tinelli1 , Clark Barrett2 , and Morgan Deters2 1 2

            Add to Reading List

            Source URL: lara.epfl.ch

            Language: English - Date: 2014-07-24 18:29:56
              177

              A Counterexample Based Approach for Quantifier Instantiation in SMT Andrew Reynolds, University of Iowa MVD, September 30, 2011 Overview

              Add to Reading List

              Source URL: lara.epfl.ch

              Language: English - Date: 2012-05-06 15:42:14
                178

                Finding Conflicting Instances of Quantified Formulas in SMT Andrew Reynolds Cesare Tinelli Leonardo De Moura July 18, 2014

                Add to Reading List

                Source URL: lara.epfl.ch

                Language: English - Date: 2014-11-17 03:49:51
                  179

                  LFSC for SMT Proofs: Work in Progress Aaron Stump, Andrew Reynolds, Cesare Tinelli, Austin Laugesen, Harley Eades, Corey Oliver, Ruoyu Zhang The University of Iowa Abstract This paper presents work in progress on a new v

                  Add to Reading List

                  Source URL: lara.epfl.ch

                  Language: English - Date: 2012-08-20 23:41:22
                    180

                    Using Instantiation-Based Methods for Quantifier Elimination in SMT Andrew Reynolds ÉC O L E P O L Y T E C H N I Q U E FÉ DÉR A L E D E L A U S A N N E

                    Add to Reading List

                    Source URL: lara.epfl.ch

                    Language: English - Date: 2015-11-20 02:21:14
                      UPDATE