Boolean

Results: 2137



#Item
61

Weighted strategy logic with boolean goals over one-counter games Patricia Bouyer, Patrick Gardy, Nicolas Markey October 2015

Add to Reading List

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

- Date: 2015-10-13 09:51:49
    62

    Journal on Satisfiability, Boolean Modeling and ComputationHard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques Harri Haanp¨ a¨

    Add to Reading List

    Source URL: jsat.ewi.tudelft.nl

    - Date: 2006-03-23 10:14:05
      63

      On the Complexity of Solving Quadratic Boolean Systems Magali Bardeta , Jean-Charles Faug`ereb,c,d , Bruno Salvye , Pierre-Jean Spaenlehauerb,c,d,∗ a Equipe ´

      Add to Reading List

      Source URL: www.pjspaenlehauer.net

      - Date: 2016-05-13 04:13:52
        64

        Experimental Mathematics in Haskell: on Pairing/Unpairing Functions and Boolean Evaluation Paul Tarau1 Brenda Luderman2

        Add to Reading List

        Source URL: logic.cse.unt.edu

        - Date: 2010-05-17 08:49:25
          65

          Available online at www.sciencedirect.com Electronic Notes in Theoretical Computer Science–104 www.elsevier.com/locate/entcs Static Analysis of Boolean Networks Based on

          Add to Reading List

          Source URL: loicpauleve.name

          - Date: 2015-11-24 05:31:54
            66

            Journal on Satisfiability, Boolean Modeling and ComputationUniversal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories Francesco Alberti

            Add to Reading List

            Source URL: jsat.ewi.tudelft.nl

            - Date: 2011-12-31 10:54:19
              67

              Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract

              Add to Reading List

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

              - Date: 2016-01-04 08:35:09
                68

                QCIR-G14: A Non-Prenex Non-CNF Format for Quantified Boolean Formulas QBF Gallery 2014 http://qbf.satisfiability.org/gallery/ April 8, 2014

                Add to Reading List

                Source URL: qbf.satisfiability.org

                - Date: 2014-08-18 10:39:39
                  69

                  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
                    70

                    International Workshop on Quantified Boolean FormulasInformal Workshop Report2 Florian Lonsing, Martina Seidl ,

                    Add to Reading List

                    Source URL: fmv.jku.at

                      UPDATE