Lara

Results: 1812



#Item
161

Finite Model Finding for SMT Andrew Reynolds University of Iowa April 26, 2012 Acknowledgments

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2012-05-03 17:58:38
    162

    A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds Jasmin Christian Blanchette CADE August 4, 2015

    Add to Reading List

    Source URL: lara.epfl.ch

    Language: English - Date: 2015-08-06 03:57:23
      163

      lara & Leageburtstag.qxp

      Add to Reading List

      Source URL: www.kidslife-magazin.de

      - Date: 2016-03-29 00:49:34
        164

        lara & Leageburtstag.qxp

        Add to Reading List

        Source URL: www.kidslife-magazin.de

        - Date: 2016-03-29 00:49:33
          165

          PRESSEINFORMATION DEUTSCHE STIFTUNG MUSIKLEBEN Hamburg/Erlangen/Fürth/Nürnberg, 24. Mai 2013 Eduard-Söring-Preis für Lara Boschkor Schirmherr

          Add to Reading List

          Source URL: www.deutsche-stiftung-musikleben.de

          Language: German - Date: 2013-05-27 04:32:04
            166

            Using CVC4 for Proofs by Induction Andrew Reynolds May 28th, 2015 Overview

            Add to Reading List

            Source URL: lara.epfl.ch

            Language: English - Date: 2015-06-02 10:21:54
              167

              A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc

              Add to Reading List

              Source URL: lara.epfl.ch

              Language: English - Date: 2015-05-28 05:18:35
                168

                CVC4 Clark Barrett1 , Christopher L. Conway1, Morgan Deters1 , Liana Hadarean1 , Dejan Jovanovi´c1, Tim King1 , Andrew Reynolds2 , and Cesare Tinelli2 1 New York University

                Add to Reading List

                Source URL: lara.epfl.ch

                Language: English - Date: 2012-05-01 17:49:50
                  169

                  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-07-24 18:06:12
                    170

                    Synthesis by Quantifier Instantiation in CVC4 Andrew Reynolds May 4, 2015 Overview

                    Add to Reading List

                    Source URL: lara.epfl.ch

                    Language: English - Date: 2015-05-07 11:27:38
                      UPDATE