Boolean

Results: 2137



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

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
    62Journal on Satisfiability, Boolean Modeling and ComputationHard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques Harri Haanp¨ a¨

    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
      63On the Complexity of Solving Quadratic Boolean Systems Magali Bardeta , Jean-Charles Faug`ereb,c,d , Bruno Salvye , Pierre-Jean Spaenlehauerb,c,d,∗ a Equipe ´

      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
        64Experimental Mathematics in Haskell: on Pairing/Unpairing Functions and Boolean Evaluation Paul Tarau1 Brenda Luderman2

        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
          65Available online at www.sciencedirect.com Electronic Notes in Theoretical Computer Science–104 www.elsevier.com/locate/entcs Static Analysis of Boolean Networks Based on

          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
            66Journal on Satisfiability, Boolean Modeling and ComputationUniversal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories Francesco Alberti

            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
              67Weighted 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

              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
                68QCIR-G14: A Non-Prenex Non-CNF Format for Quantified Boolean Formulas QBF Gallery 2014 http://qbf.satisfiability.org/gallery/ April 8, 2014

                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
                  69Journal on Satisfiability, Boolean Modeling and Computation–76 DepQBF: A Dependency-Aware QBF Solver system description Florian Lonsing Armin Biere

                  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
                    70International Workshop on Quantified Boolean FormulasInformal Workshop Report2 Florian Lonsing, Martina Seidl ,

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

                    Add to Reading List

                    Source URL: fmv.jku.at