Solver

Results: 737



#Item
71

SpaceSearch: A Library for Building and Verifying Solver-Aided Tools Konstantin Weitz Steven Lyubomirksy

Add to Reading List

Source URL: www.cs.washington.edu

- Date: 2016-11-22 17:08:53
    72

    Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations Shachar Itzhaky Rohit Singh Armando Solar-Lezama Kuat Yessenov Yongquan Lu Charles Leiserson

    Add to Reading List

    Source URL: people.csail.mit.edu

    - Date: 2016-09-13 11:45:32
      73

      Journal on Satisfiability, Boolean Modeling and Computation–76 DepQBF: A Dependency-Aware QBF Solver system description Florian Lonsing Armin Biere

      Add to Reading List

      Source URL: jsat.ewi.tudelft.nl

      - Date: 2010-08-13 10:16:00
        74

        Towards interpolation in an SMT-solver with integrated superposition∗ Maria Paola Bonacina Moa Johansson Dipartimento di Informatica Universit`a degli Studi di Verona

        Add to Reading List

        Source URL: www.cse.chalmers.se

        - Date: 2012-03-21 07:54:00
          75

          CafeSat: A Modern SAT Solver for Scala Régis Blanc École Polytechnique Fédérale de Lausanne (EPFL), Switzerland

          Add to Reading List

          Source URL: lampwww.epfl.ch

          - Date: 2014-03-18 17:06:31
            76

            Automata-based Model Counting String Solver Abdulbaki Aydin, Lucas Bang, and Tevfik Bultan I. I NTRODUCTION

            Add to Reading List

            Source URL: gswc.cs.ucsb.edu

            - Date: 2016-03-01 02:43:38
              77

              44th AIAA Aerospace Sciences Meeting and Exhibit, 9-12 Jan. 2006, Reno, NV Simulations of the Weibel instability with a High-Order Discontinuous Galerkin Particle-In-Cell Solver G. B. Jacobs, ∗ and J. S. Hesthaven†

              Add to Reading List

              Source URL: attila.sdsu.edu

              - Date: 2008-01-16 16:04:50
                78

                An Efficient Compressible Multicomponent Flow Solver for Heterogeneous CPU/GPU Architectures Fabian Wermelinger Babak Hejazialhosseini

                Add to Reading List

                Source URL: www.cse-lab.ethz.ch

                - Date: 2016-07-02 10:39:44
                  79

                  ODESolve 1.065 : An Enhanced Reduce ODE Solver Francis J. Wright School of Mathematical Sciences Queen Mary, University of London Mile End Road, London E1 4NS, UK.

                  Add to Reading List

                  Source URL: reduce-algebra.com

                  - Date: 2008-12-30 11:47:08
                    UPDATE