An average case analysis of a resolution principle algorithm in mechanical theorem proving.
type: Item
instance of: scholarly article
title: An average case analysis of a resolution principle algorithm in mechanical theorem proving.
zbMATH Open document ID: 1034.68542
DOI: 10.1007/BF01531030
author: O. Diekmann
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-05-13T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 1005828
zbMATH Keywords: satisfiability problem
MaRDI profile type: Publication
cites work: Backtrack programming techniques
cites work: The Pure Literal Rule and Polynomial Average Time
cites work: Exponential Average Time for the Pure Literal Rule
cites work: Q5679729
cites work: Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem
cites work: Many hard examples for resolution
cites work: The complexity of theorem-proving procedures
cites work: A machine program for theorem-proving
cites work: A Computing Procedure for Quantification Theory
cites work: Q3827800
cites work: Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
cites work: On the complexity of regular resolution and the Davis-Putnam procedure
cites work: Q4198056
cites work: Average time analyses of simplified Davis-Putnam procedures
cites work: The intractability of resolution
cites work: CNF-Satisfiability Test by Counting and Polynomial Average Time
cites work: Average Performance of Heuristics for Satisfiability
cites work: An Analysis of Backtracking with Search Rearrangement
cites work: Polynomial-average-time satisfiability problems
cites work: Theorem-Proving on the Computer
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Hard examples for resolution
full work available at URL: https://doi.org/10.1007/bf01531030
OpenAlex ID: W2009941418
description: scientific article; zbMATH DE number 1005828