Implementing the Davis-Putnam method
From MaRDI portal
Recommendations
Cited in
(23)- MACE4 and SEM: a comparison of finite model generators
- scientific article; zbMATH DE number 1538056 (Why is no real title available?)
- Propositional SAT solving
- ASSAT: computing answer sets of a logic program by SAT solvers
- Semantically-guided goal-sensitive reasoning: model representation
- A Computational Study of Satisfiability Algorithms for Propositional Logic
- A Computing Procedure for Quantification Theory
- Approximating minimal unsatisfiable subformulae by means of adaptive core search
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
- scientific article; zbMATH DE number 1670593 (Why is no real title available?)
- Problems on the generation of finite models
- The Relation Between Complete and Incomplete Search
- Implementing the Davis-Putnam method
- Contingent planning under uncertainty via stochastic satisfiability
- A complete adaptive algorithm for propositional satisfiability
- Davis-Putnam style rules for deciding property S.
- ADDING A UNITON VIA THE DPW METHOD
- Formal verification of a generic framework to synthesize SAT-provers
- Approximate coherence-based reasoning
- Towards an efficient library for SAT: A manifesto
- Multi-valued extension of Putnam-Davis procedure
- A comparative runtime analysis of heuristic algorithms for satisfiability problems
- The Davidson Method
This page was built for publication: Implementing the Davis-Putnam method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1977761)
