On a generalization of extended resolution
type: Item
instance of: scholarly article
title: On a generalization of extended resolution
zbMATH Open document ID: 0941.68126
DOI: 10.1016/S0166-218X(99)00037-2
author: Oliver Kullmann
published in: Discrete Applied Mathematics
publication date: 2000-08-03T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1389869
zbMATH Keywords: extended resolution
MaRDI profile type: Publication
cites work: A feasibly constructive lower bound for resolution proofs
cites work: Q4152212
cites work: The relative efficiency of propositional proof systems
cites work: The intractability of resolution
cites work: Propositional proof systems, the consistency of first order theories and the complexity of computations
cites work: Q4375761
cites work: New methods for 3-SAT decision and worst-case analysis
cites work: Solving satisfiability in less than \(2^ n\) steps
cites work: Solving Satisfiability with Less Searching
cites work: Q5593816
cites work: The Complexity of Propositional Proofs
full work available at URL: s0166-218x(99)00037-2
OpenAlex ID: W2021870295
description: scientific article; zbMATH DE number 1389869