Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,540,179 papers from all fields of science
Search
Sign In
Create Free Account
Davis–Putnam algorithm
Known as:
David-Putnam algorithm
, Davis-Putnam-method
, Davis-Putnam procedure
Expand
The Davis–Putnam algorithm was developed by Martin Davis and Hilary Putnam for checking the validity of a first-order logic formula using a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
2-satisfiability
Communications of the ACM
Conflict-Driven Clause Learning
DPLL algorithm
Expand
Broader (3)
Automated theorem proving
Boolean algebra
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Novel Devaki-Paul Algorithm for Multiple Pattern Matching
Devaki Pendlimarri
,
P. Bharath
,
Bhushan Petlu
,
Ram Satrasala
2011
Corpus ID: 16724232
matching is one of the major issues in the area of network security and also in many other areas. The increase in network speed…
Expand
2008
2008
Segmentation-Based Lyrics-Audio Alignment using Dynamic Programming
Kyogu Lee
,
M. Cremer
International Society for Music Information…
2008
Corpus ID: 8331534
In this paper, we present a system for automatic alignment of textual lyrics with musical audio. Given an input audio signal…
Expand
2006
2006
Text-dependent speaker-recognition systems based on one-pass dynamic programming algorithm
V. Ramasubramanian
,
K. V. Praveen
,
Deepak Vijaywargiay
,
D. Harish
,
S. Thiyagarajan
,
A. Das
The Speaker and Language Recognition Workshop
2006
Corpus ID: 22935441
We propose variable-text text-dependent speaker-recognition systems based on the one-pass dynamic programming (DP) algorithm. The…
Expand
2003
2003
Efficient Dense-Stereo and Novel-view Synthesis for Gaze Manipulation in One-toone Teleconferencing
A. Criminisi
,
J. Shotton
,
A. Blake
,
C. Rother
2003
Corpus ID: 18894025
A new algorithm is proposed for novel-view synthesis, with particular application to teleconferencing. Given the video streams…
Expand
2002
2002
A Randomization Strategy for Combinatorial Search
Hantao Zhang
AI&M
2002
Corpus ID: 14632369
,
2000
2000
Experimenting Acceleration Methods for the Validation of Infinite State Systems
J. Bodeveix
,
M. Filali
ICDCS Workshop on Distributed System Validation…
2000
Corpus ID: 11104694
In this paper, we present a generic validation tool, called FMona. We illustrate its use through the expression of iterative and…
Expand
Highly Cited
1999
Highly Cited
1999
An empirical analysis of modal theorem provers
U. Hustadt
,
R. Schmidt
J. Appl. Non Class. Logics
1999
Corpus ID: 14395621
ABSTRACT This paper reports on an empirical performance analysis of four modal theorem provers on benchmark suites of randomly…
Expand
1997
1997
Regular datapaths on field programmable gate arrays
A. Koch
1997
Corpus ID: 45354245
Field-Programmable Gate Arrays (FPGAs) are a recent kind of programmable logic device. They allow the implementation of…
Expand
1996
1996
Document Image Decoding by Heuristic Search
A. Kam
,
G. Kopec
IEEE Transactions on Pattern Analysis and Machine…
1996
Corpus ID: 15860728
This correspondence describes an approach to reducing the computational cost of document image decoding by viewing it as a…
Expand
1994
1994
Elimination of inference channels by optimal upgrading
M. Stickel
Proceedings of IEEE Computer Society Symposium…
1994
Corpus ID: 24597708
An inference channel exists if it is possible for a low-clearance user to infer high-classification data from low-classification…
Expand
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)
ACCEPT & CONTINUE