Lara

Results: 1812



#Item
191

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
    192

    Generación de Formaciones Estáticas en Robótica Colectiva Yazid León Fernández de Lara Angélica Muñoz Meléndez Reporte Técnico No. CCC

    Add to Reading List

    Source URL: ccc.inaoep.mx

    Language: Spanish - Date: 2015-08-12 19:00:11
      193

      University of Iowa New York University    

      Add to Reading List

      Source URL: lara.epfl.ch

      Language: English - Date: 2011-07-13 21:02:34
        194

        Generating Small Countermodels using SMT Andrew Reynolds MVD September 21, 2012

        Add to Reading List

        Source URL: lara.epfl.ch

        Language: English - Date: 2012-09-29 10:10:50
          195

          Lara Ferrighi Curri ulum vitae updated on September 28, 2009 Personal details •

          Add to Reading List

          Source URL: phys.au.dk

          Language: English - Date: 2012-01-27 08:43:02
            196

            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
              197

              Finding Conflicting Instances of Quantified Formulas in SMT Andrew Reynolds Cesare Tinelli

              Add to Reading List

              Source URL: lara.epfl.ch

              Language: English - Date: 2014-08-25 13:15:00
                198

                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-01 05:15:22
                  199

                  Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2

                  Add to Reading List

                  Source URL: lara.epfl.ch

                  Language: English - Date: 2014-05-24 11:45:01
                    200

                    ANCIENT MSG ICAN HAREM, TAMARA PERTAMINA, ANDREAS SIAGIAN, LINTANG RADITTYA, DEBRIS FACILITY, LARA THOMS, TARQUIN MANEK, TIM DWYER CURATOR: KRISTI MONFRIES SATURDAY 19 AND SUNDAY 20 DECEMBER 2015, 5PM GERTRUDE GLASSHOUSE

                    Add to Reading List

                    Source URL: www.gertrude.org.au

                    Language: English - Date: 2015-12-16 22:36:27
                      UPDATE