The Pure Literal Rule and Polynomial Average Time
- 1 November 1985
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 14 (4) , 943-953
- https://doi.org/10.1137/0214067
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- An Analysis of Backtracking with Search RearrangementSIAM Journal on Computing, 1983
- Search rearrangement backtracking and polynomial average timeArtificial Intelligence, 1983
- Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problemDiscrete Applied Mathematics, 1983
- Average time analysis of simplified Davis-Putnam proceduresInformation Processing Letters, 1982
- An Average Time Analysis of BacktrackingSIAM Journal on Computing, 1981
- Backtracking with multi-level dynamic search rearrangementActa Informatica, 1981
- A machine program for theorem-provingCommunications of the ACM, 1962
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960