Width and size of regular resolution proofs

DOI10.2168/LMCS-8(2:8)2012zbMath1238.03047arXiv1205.1050OpenAlexW2083734106MaRDI QIDQ2888509

Alasdair Urquhart

Publication date: 1 June 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1205.1050

zbMATH Keywords

size of proofsregular resolution proofswidth of proofs

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Related Items (2)

Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs ⋮ A Logical Autobiography

This page was built for publication: Width and size of regular resolution proofs