Skip to search formSkip to main contentSkip to account menu

Davis–Putnam algorithm

Known as: David-Putnam algorithm, Davis-Putnam-method, Davis-Putnam procedure 
The Davis–Putnam algorithm was developed by Martin Davis and Hilary Putnam for checking the validity of a first-order logic formula using a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
2-satisfiabilityCommunications of the ACMConflict-Driven Clause LearningDPLL algorithm

Broader (3)

Automated theorem provingBoolean algebraConstraint programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Static probabilistic timing analysis for real-time systems using random replacement caches
In this paper, we investigate static probabilistic timing analysis (SPTA) for single processor real-time systems that use a cache… 
2013
2013
Modeling Occlusion by Discriminative AND-OR Structures
Occlusion presents a challenge for detecting objects in real world applications. To address this issue, this paper models object… 
2013
2013
Optimal Energy Control Strategy Design for a Hybrid Electric Vehicle
A heavy-duty parallel hybrid electric truck is modeled, and its optimal energy control is studied in this paper. The fundamental… 
2013
2013
Optimal guard-band-aware channel assignment with bonding and aggregation in multi-channel systems
Channel assignment mechanisms in multi-channel wireless networks are often designed without accounting for adjacent-channel… 
2012
2012
Algorithms for Gate Sizing and Device Parameter Selection for High-Performance Designs
It is becoming increasingly important to design high-performance circuits with as low power as possible. In this paper, we study… 
Highly Cited
2002
Highly Cited
2002
Optimization of Power Management Strategies for a Hydraulic Hybrid Medium Truck
This paper investigates development of power management strategies tailored specifically to a medium truck with parallel… 
1999
1999
Phase Transitions in the Regular Random 3-SAT Problem
In this paper we investigate phase transitions in the random 3-SAT problem but we move from the usual setting of classical logic… 
1998
1998
Capital account regimes and the developing countries
List of Figures - List of Tables - Notes on the Contributors - Preface to the 1999 Reprint - List of Abbreviations - Capital… 
1995
1995
Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability
This paper presents a statistical analysis of the Davis-Putnam procedure and propositional satisfiability problems (SAT). SAT has… 
1995
1995
GSAT and Local Consistency
It has been shown that hill-climbing constraint satisfaction methods like min-conflicts [Minton et al., 1990] and GSAT [Selman et… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)