Solver

Results: 737



#Item
41Solving non-linear Horn clauses using a linear Horn clause solver Bishoksan Kafle, John Gallagher and Pierre Ganty Roskilde University, Denmark and IMDEA Software Institute, Spain HCVS’16 Eindhoven

Solving non-linear Horn clauses using a linear Horn clause solver Bishoksan Kafle, John Gallagher and Pierre Ganty Roskilde University, Denmark and IMDEA Software Institute, Spain HCVS’16 Eindhoven

Add to Reading List

Source URL: hcvs2016.it.uu.se

- Date: 2016-04-05 17:42:28
    42J A I M E FA U S T O SUMMA RY I’m a problem solver: when I was a kid I built, dismantled and recombined my toy robots. Now I tinker with technology, creating user-centric websites, applications and digital products for

    J A I M E FA U S T O SUMMA RY I’m a problem solver: when I was a kid I built, dismantled and recombined my toy robots. Now I tinker with technology, creating user-centric websites, applications and digital products for

    Add to Reading List

    Source URL: jaim.es

    - Date: 2016-06-11 11:44:56
      43A distributed CPU-GPU sparse direct solver Piyush Sao1 , Richard Vuduc1 , and Xiaoye Li2 1 Georgia Institute of Technology, {piyush3,richie}@gatech.edu 2

      A distributed CPU-GPU sparse direct solver Piyush Sao1 , Richard Vuduc1 , and Xiaoye Li2 1 Georgia Institute of Technology, {piyush3,richie}@gatech.edu 2

      Add to Reading List

      Source URL: crd-legacy.lbl.gov

      - Date: 2014-08-19 11:09:01
        44Advanced Solver Technology Helmut Seidl TUM + DTU 2006

        Advanced Solver Technology Helmut Seidl TUM + DTU 2006

        Add to Reading List

        Source URL: www2.imm.dtu.dk

        - Date: 2006-08-08 04:44:28
          45A Report on the BPrologCSP Solver Neng-Fa Zhou CUNY Brooklyn College This note attempts to give a quick analysis of the results of the BPrologCSP solver in the second international solver competition. The constraint prop

          A Report on the BPrologCSP Solver Neng-Fa Zhou CUNY Brooklyn College This note attempts to give a quick analysis of the results of the BPrologCSP solver in the second international solver competition. The constraint prop

          Add to Reading List

          Source URL: www.sci.brooklyn.cuny.edu

          - Date: 2007-04-11 17:14:19
            46A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak

            A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak

            Add to Reading List

            Source URL: homes.cs.washington.edu

            - Date: 2017-06-23 18:20:16
              47A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik

              A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2017-06-23 18:20:17
                48A volume integral equation Stokes solver for problems with variable coefficients Dhairya Malhotra Amir Gholami

                A volume integral equation Stokes solver for problems with variable coefficients Dhairya Malhotra Amir Gholami

                Add to Reading List

                Source URL: users.ices.utexas.edu

                - Date: 2015-07-21 13:52:31
                  49Pegasos: Primal Estimated sub-GrAdient SOlver for SVM Shai Shalev-Shwartz School of Computer Science and Engineering, The Hebrew University, Jerusalem, Israel Yoram Singer Google inc., Mountain View, USA and The Hebrew

                  Pegasos: Primal Estimated sub-GrAdient SOlver for SVM Shai Shalev-Shwartz School of Computer Science and Engineering, The Hebrew University, Jerusalem, Israel Yoram Singer Google inc., Mountain View, USA and The Hebrew

                  Add to Reading List

                  Source URL: www.machinelearning.org

                  - Date: 2008-12-01 11:25:41
                    50Deklaratywne LP Poprawność Pełność Spec. SAT-solver Z. Deklaratywne LP Poprawność Pełność Spec. SAT-solver Z. Plan Wnioskowanie o programach

                    Deklaratywne LP Poprawność Pełność Spec. SAT-solver Z. Deklaratywne LP Poprawność Pełność Spec. SAT-solver Z. Plan Wnioskowanie o programach

                    Add to Reading List

                    Source URL: ipipan.waw.pl

                    - Date: 2017-01-25 07:34:34