A simplified proof that regular resolution is exponential
type: Item
instance of: scholarly article
title: A simplified proof that regular resolution is exponential
zbMATH Open document ID: 0438.03054
DOI: 10.1016/S0020-0190(80)90082-4
author: Mordechai Ben-Ari
published in: Information Processing Letters
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 3683578
zbMATH Keywords: regular resolution is exponential
zbMATH Keywords: proof trees
MaRDI profile type: Publication
cites work: On the complexity of regular resolution and the Davis-Putnam procedure
full work available at URL: s0020-0190(80)90082-4
OpenAlex ID: W1974951277
description: scientific article; zbMATH DE number 3683578