Satisfiability

Results: 637



#Item
41Satisfiability as a Classification Problem? David Devlin and Barry O’Sullivan Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {d.devlin|b.osullivan}@4c.ucc.ie

Satisfiability as a Classification Problem? David Devlin and Barry O’Sullivan Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {d.devlin|b.osullivan}@4c.ucc.ie

Add to Reading List

Source URL: www.cs.ucc.ie

- Date: 2008-08-13 12:55:47
    42Satisfiability of Propositional Formulas Mooly Sagiv Slides by Sharad Malik, Ohad Shacham, Daniel Kroening and Ofer

    Satisfiability of Propositional Formulas Mooly Sagiv Slides by Sharad Malik, Ohad Shacham, Daniel Kroening and Ofer

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-03-20 03:10:51
      43Satisfiability Modulo Theories Clark Barrett and Cesare Tinelli Abstract Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logical

      Satisfiability Modulo Theories Clark Barrett and Cesare Tinelli Abstract Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logical

      Add to Reading List

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

      - Date: 2015-06-23 07:23:45
        44Journal 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
          452 Satisfiability Checking and Symbolic Computation (SC

          2 Satisfiability Checking and Symbolic Computation (SC

          Add to Reading List

          Source URL: computing.coventry.ac.uk

          - Date: 2016-07-18 08:02:47
            46Boolean Satisfiability (SAT) p1 p2 . .

            Boolean Satisfiability (SAT) p1 p2 . .

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2015-03-31 11:53:54
              47Journal on Satisfiability, Boolean Modeling and Computation–236 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure∗ Martin Fr¨ anzle

              Journal on Satisfiability, Boolean Modeling and Computation–236 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure∗ Martin Fr¨ anzle

              Add to Reading List

              Source URL: jsat.ewi.tudelft.nl

              - Date: 2007-05-22 16:56:57
                48Journal on Satisfiability, Boolean Modeling and ComputationPackUp: Tools for Package Upgradability Solving∗ system description Mikol´ aˇ

                Journal on Satisfiability, Boolean Modeling and ComputationPackUp: Tools for Package Upgradability Solving∗ system description Mikol´ aˇ

                Add to Reading List

                Source URL: jsat.ewi.tudelft.nl

                - Date: 2012-01-12 08:43:36
                  49SC2 : Satisfiability Checking meets Symbolic Computation: www.sc-square.org James Davenport Hebron & Medlock Professor of Information Technology1 University of Bath (U.K.)

                  SC2 : Satisfiability Checking meets Symbolic Computation: www.sc-square.org James Davenport Hebron & Medlock Professor of Information Technology1 University of Bath (U.K.)

                  Add to Reading List

                  Source URL: staff.bath.ac.uk

                  - Date: 2016-08-04 10:46:26
                    50Journal 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