Lara

Results: 1812



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

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
    172lara & Leageburtstag.qxp

    lara & Leageburtstag.qxp

    Add to Reading List

    Source URL: www.kidslife-magazin.de

    - Date: 2016-03-29 00:49:21
      173Model Finding for Recursive Functions in SMT∗ Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , and Cesare Tinelli4 1 4

      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
        174Induction for SMT Solvers Andrew Reynolds and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch

        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
          175A 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

          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
            176A 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

            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
              177A Counterexample Based Approach for Quantifier Instantiation in SMT Andrew Reynolds, University of Iowa MVD, September 30, 2011 Overview

              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
                178Finding Conflicting Instances of Quantified Formulas in SMT Andrew Reynolds Cesare Tinelli Leonardo De Moura July 18, 2014

                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
                  179LFSC 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

                  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
                    180Using 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

                    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