Solver

Results: 737



#Item
51Deklaratywne LP Poprawność Pełność Spec. SAT-solver Z. Wnioskowanie o programach w programowaniu w logice Włodzimierz Drabent

Deklaratywne LP Poprawność Pełność Spec. SAT-solver Z. Wnioskowanie o programach w programowaniu w logice Włodzimierz Drabent

Add to Reading List

Source URL: ipipan.waw.pl

- Date: 2017-01-25 06:40:34
    52Overview and Analysis of the SAT Challenge 2012 Solver Competition Adrian Balinta,1 , Anton Belovb,2 , Matti Järvisaloc,3,∗, Carsten Sinzd,4 a Institute of Theoretical Computer Science, Ulm University, Germany. Email:

    Overview and Analysis of the SAT Challenge 2012 Solver Competition Adrian Balinta,1 , Anton Belovb,2 , Matti Järvisaloc,3,∗, Carsten Sinzd,4 a Institute of Theoretical Computer Science, Ulm University, Germany. Email:

    Add to Reading List

    Source URL: www.cs.helsinki.fi

    - Date: 2015-01-20 15:12:14
      53PSwarm: A Hybrid Solver for Linearly Constrained Global Derivative-Free Optimization A. I. F. Vaz∗ L. N. Vicente†

      PSwarm: A Hybrid Solver for Linearly Constrained Global Derivative-Free Optimization A. I. F. Vaz∗ L. N. Vicente†

      Add to Reading List

      Source URL: www.mat.uc.pt

      - Date: 2009-03-16 15:46:49
        54Power Particles:n incompressible fluid solver based on power diagrams

        Power Particles:n incompressible fluid solver based on power diagrams

        Add to Reading List

        Source URL: www.geometry.caltech.edu

        - Date: 2015-05-10 18:01:20
          55Task-based parallelization of a transport Discontinuous Galerkin solver Applications to fluid models Philippe Helluy Inria ToNuS, IRMA Strasbourg

          Task-based parallelization of a transport Discontinuous Galerkin solver Applications to fluid models Philippe Helluy Inria ToNuS, IRMA Strasbourg

          Add to Reading List

          Source URL: philippelefloch.files.wordpress.com

          - Date: 2016-03-09 12:47:12
            56Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk

            Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk

            Add to Reading List

            Source URL: srg.doc.ic.ac.uk

            - Date: 2013-05-01 10:35:53
              57Journal on Satisfiability, Boolean Modeling and Computation Controlling a Solver Execution with the runsolver Tool system description Olivier Roussel

              Journal on Satisfiability, Boolean Modeling and Computation Controlling a Solver Execution with the runsolver Tool system description Olivier Roussel

              Add to Reading List

              Source URL: jsat.ewi.tudelft.nl

              - Date: 2011-11-21 09:15:26
                58A Non-Prenex, Non-Clausal QBF Solver with Game-State Learning William Klieber, Samir Sapra, Sicun Gao, and Edmund Clarke? Computer Science Department Carnegie Mellon University Pittsburgh, Pennsylvania

                A Non-Prenex, Non-Clausal QBF Solver with Game-State Learning William Klieber, Samir Sapra, Sicun Gao, and Edmund Clarke? Computer Science Department Carnegie Mellon University Pittsburgh, Pennsylvania

                Add to Reading List

                Source URL: www.cs.cmu.edu

                - Date: 2010-05-07 13:51:36
                  59Scalable Parallel Numerical Constraint Solver using Global Load Balancing June 14 @X10’15 Daisuke Ishii Kazuki Yoshizoe

                  Scalable Parallel Numerical Constraint Solver using Global Load Balancing June 14 @X10’15 Daisuke Ishii Kazuki Yoshizoe

                  Add to Reading List

                  Source URL: x10.sourceforge.net

                  - Date: 2015-06-14 16:55:11
                    60Computing with an SMT solver Nada Amin 0 , K. Rustan M. Leino 1 , and Tiark Rompf 0,2 0 EPFL, Lausanne, Switzerland

                    Computing with an SMT solver Nada Amin 0 , K. Rustan M. Leino 1 , and Tiark Rompf 0,2 0 EPFL, Lausanne, Switzerland

                    Add to Reading List

                    Source URL: research.microsoft.com

                    - Date: 2014-04-02 22:56:02