Solver

Results: 737



#Item
61

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
    62

    DepQBF: A Dependency-Aware QBF Solver (System Description) Florian Lonsing and Armin Biere Institute for Formal Models and Verification (FMV) Johannes Kepler University, Linz, Austria http://fmv.jku.at

    Add to Reading List

    Source URL: www.kr.tuwien.ac.at

    - Date: 2013-05-02 03:19:04
      63

      Input/Output Format and Solver Requirements for the Competitions of Pseudo-Boolean Solvers Olivier ROUSSEL Vasco M ANQUINHO

      Add to Reading List

      Source URL: www.cril.univ-artois.fr

      - Date: 2012-11-12 12:21:31
        64

        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
          65

          7 Ways to Be a Global Problem Solver in Your Community The world’s challenges – hunger, unemployment, global warming to name a few – can seem overwhelming. But anyone can be a global problem solver, and that starts

          Add to Reading List

          Source URL: www.cisco.com

            66

            Solving non-linear Horn clauses using a linear Horn clause solver ∗ Bishoksan Kafle John P. Gallagher

            Add to Reading List

            Source URL: hcvs2016.it.uu.se

            - Date: 2016-04-02 04:08:34
              67

              clasp: A Conflict-Driven Answer Set Solver Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Abstract

              Add to Reading List

              Source URL: www.cs.uni-potsdam.de

              - Date: 2007-03-07 07:31:05
                68

                Anatomy of a Global Problem Solver We all care about certain issues. What are yours? Poverty, inequality, climate change? Today more than ever, we have the power to overcome these challenges. When we combine tech know-ho

                Add to Reading List

                Source URL: www.cisco.com

                  69

                  The Conflict-Driven Answer Set Solver clasp: Progress Report Martin Gebser, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We sum

                  Add to Reading List

                  Source URL: www.cs.uni-potsdam.de

                  - Date: 2009-07-06 04:21:06
                    UPDATE