# DPLL algorithm

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- 2012

Dependency Quantified Boolean Formulas (DQBF) comprise the set of propositional formulas which can be formulated by adding Henkin… (More)

Is this relevant?

2012

2012

- Electr. Notes Theor. Comput. Sci.
- 2012

We formalize a completeness proof for the DPLL proof system and extract a DPLL SAT solver from it. When applied to a… (More)

Is this relevant?

2009

2009

- CAV
- 2009

The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical… (More)

Is this relevant?

2007

2007

- Journal of Automated Reasoning
- 2007

SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or… (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- J. ACM
- 2006

We first introduce Abstract DPLL, a rule-based formulation of the Davis--Putnam--Logemann--Loveland (DPLL) procedure for… (More)

Is this relevant?

2006

2006

- 2006

We present a new Simplex-based linear arithmetic solver that can be integrated efficiently in the DPLL(T ) framework. The new… (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- SAT
- 2004

State of the art SAT solvers typically solve CNF encoded SAT theories using DPLL based algorithms [1]. However, many problems are… (More)

Is this relevant?

2004

2004

- SAT
- 2004

The DPLL procedure has found great success in SAT, where search terminates on the first solution discovered. We show that this… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- FOCS
- 2003

Bayesian inference is an important problem with numerous ap plications in probabilistic reasoning. Counting satisfyi ng… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- JELIA
- 2002

We describe and discuss DPLL(T ), a parametric calculus for proving the satisfiability of ground formulas in a logical theory T… (More)

Is this relevant?