Lara Morgan

Results: 12



#Item
1arXiv:submitcs.LO] 26 MayOn Counterexample Guided Quantifier Instantiation for Synthesis in CVC4⋆ ⋆⋆ Andrew Reynolds1 , Morgan Deters2 , Viktor Kuncak1, Cesare Tinelli3 , and Clark Barrett2

arXiv:submitcs.LO] 26 MayOn Counterexample Guided Quantifier Instantiation for Synthesis in CVC4⋆ ⋆⋆ Andrew Reynolds1 , Morgan Deters2 , Viktor Kuncak1, Cesare Tinelli3 , and Clark Barrett2

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2015-05-28 05:14:31
    2A DPLL(T) Theory Solver for Strings and Regular Expressions Tianyi Liang Andrew Reynolds Cesare Tinelli Morgan Deters

    A DPLL(T) Theory Solver for Strings and Regular Expressions Tianyi Liang Andrew Reynolds Cesare Tinelli Morgan Deters

    Add to Reading List

    Source URL: lara.epfl.ch

    Language: English - Date: 2014-07-24 18:05:06
      3CVC4 Clark Barrett1 , Christopher L. Conway1, Morgan Deters1 , Liana Hadarean1 , Dejan Jovanovi´c1, Tim King1 , Andrew Reynolds2 , and Cesare Tinelli2 1 New York University

      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
        4A 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
          5A 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
            6Fine-grained SMT proofs for the theory of fixed-width bit-vectors ? Liana Hadarean1 , Clark Barrett2 , Andrew Reynolds3 , Cesare Tinelli4 , and Morgan Deters2 1

            Fine-grained SMT proofs for the theory of fixed-width bit-vectors ? Liana Hadarean1 , Clark Barrett2 , Andrew Reynolds3 , Cesare Tinelli4 , and Morgan Deters2 1

            Add to Reading List

            Source URL: lara.epfl.ch

            Language: English - Date: 2015-09-21 07:36:52
              7Quantifier Instantiation Techniques for Finite Model Finding in SMT? Andrew Reynolds1 , Cesare Tinelli1 , Amit Goel2 , Sava Krsti´c2 , Morgan Deters3 , and Clark Barrett3 1

              Quantifier Instantiation Techniques for Finite Model Finding in SMT? Andrew Reynolds1 , Cesare Tinelli1 , Amit Goel2 , Sava Krsti´c2 , Morgan Deters3 , and Clark Barrett3 1

              Add to Reading List

              Source URL: lara.epfl.ch

              Language: English - Date: 2013-04-10 01:11:02
                8A DPLL(T) Theory Solver for Strings and Regular Expressions Tianyi Liang Andrew Reynolds Cesare Tinelli Morgan Deters

                A DPLL(T) Theory Solver for Strings and Regular Expressions Tianyi Liang Andrew Reynolds Cesare Tinelli Morgan Deters

                Add to Reading List

                Source URL: lara.epfl.ch

                Language: English - Date: 2014-07-24 18:15:38
                  9BT connects with Accelerate 2014 to boost brilliant SMEs * BT to host “Potential” event at Accelerate 2014 * BT’s giving away tickets to “Potential” to anyone a buying a ticket for ACCELERATE2014 BT is supporti

                  BT connects with Accelerate 2014 to boost brilliant SMEs * BT to host “Potential” event at Accelerate 2014 * BT’s giving away tickets to “Potential” to anyone a buying a ticket for ACCELERATE2014 BT is supporti

                  Add to Reading List

                  Source URL: www.btplc.com

                  Language: English - Date: 2014-07-14 05:25:35
                  10For Immediate Release: April 2, 2013 Contact: Morgan Kroll, Public Relations Associate, [removed], [removed] HAMMER PROJECTS: CYPRIEN GAILLARD On view at the Hammer Museum, Los Angeles, April 20 – Augus

                  For Immediate Release: April 2, 2013 Contact: Morgan Kroll, Public Relations Associate, [removed], [removed] HAMMER PROJECTS: CYPRIEN GAILLARD On view at the Hammer Museum, Los Angeles, April 20 – Augus

                  Add to Reading List

                  Source URL: hammer.ucla.edu

                  Language: English - Date: 2013-04-03 13:48:54