Theories

Results: 13210



#Item
151

Theories of the Information Society, Third Edition

Add to Reading List

Source URL: cryptome.org

- Date: 2013-01-19 17:00:23
    152

    Probabilistic Inference Modulo Theories Rodrigo de Salvo Braz SRI International Menlo Park, CA, USA Ciaran O’Reilly

    Add to Reading List

    Source URL: www.ai.sri.com

    - Date: 2016-04-20 14:11:39
      153

      Satisfiability Modulo Theories Clark Barrett and Cesare Tinelli Abstract Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logical

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2015-06-23 07:23:45
        154

        Probabilistic Inference Modulo Theories∗ Rodrigo de Salvo Braz SRI International Menlo Park, CA, USA Ciaran O’Reilly

        Add to Reading List

        Source URL: www.ai.sri.com

        - Date: 2016-06-08 22:02:44
          155

          CVC4 1.5 for Sygus Comp 2015 • CVC4 is an SMT solver • Fourth generation of Cooperating Validity Checker (CVC, CVC Lite, CVC3, CVC4) • Supports many ground theories: • Linear arithmetic, bitvectors, UF, datatypes

          Add to Reading List

          Source URL: formal.epfl.ch

          - Date: 2015-07-21 12:55:02
            156

            Probabilistic Constraint Logic Theories Marco Alberti1 , Elena Bellodi2 , Giuseppe Cota2 , Evelina Lamma2 , Fabrizio Riguzzi1 , and Riccardo Zese2 1 Dipartimento di Matematica e Informatica – University of Ferrara

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2016-08-12 03:27:47
              157

              Cluster algebras from 2d gauge theories Francesco Benini Delta Insitute for Theoretical Physics University of Amsterdam Gauged Sigma-Models in Two Dimensions

              Add to Reading List

              Source URL: media.scgp.stonybrook.edu

              - Date: 2014-11-06 22:09:56
                158

                dReal: An SMT Solver for Nonlinear Theories over the Reals? Sicun Gao, Soonho Kong, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We describe the open-source tool dReal, an SMT solver fo

                Add to Reading List

                Source URL: www.cs.cmu.edu

                - Date: 2013-11-08 01:07:52
                  159

                  Separation Logic Modulo Theories Juan Antonio Navarro Pérez1 and Andrey Rybalchenko2 1 2

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2015-06-23 07:31:00
                    160

                    Proofs in Satisfiability Modulo Theories Pascal Fontaine (Inria, Loria, U. Lorraine) SAT/SMT Summer School 2015 Stanford

                    Add to Reading List

                    Source URL: www.cs.nyu.edu

                    - Date: 2015-07-17 17:31:37
                      UPDATE