Cesare

Results: 411



#Item
91

From Declarative to Computational Proof Checking for LRA Andrew Reynolds1 , Liana Hadarean2 , Cesare Tinelli1 , Yeting Ge2 , Aaron Stump1 , and Clark Barrett2 1

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2012-05-06 18:16:52
    92

    Leonardo Raspini primo direttore generale di CecchiCesare e Andrea Cecchi con Leonardo Raspini Cesare e Andrea Cecchi avevano fatto sempre tutto da soli e con ottimi risultati dato che, Cecchi, è diventata u

    Add to Reading List

    Source URL: cecchi.net

    Language: Italian - Date: 2015-11-22 18:29:15
      93

      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
        94

        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
          95

          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
            96

            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
              97

              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
                98

                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
                  99

                  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
                    100

                    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
                      UPDATE