Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation

DOI10.1137/0209008zbMath0484.68071OpenAlexW2025712536MaRDI QIDQ3944041

Richard Statman

Publication date: 1980

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0209008

zbMATH Keywords

nondeterministic pushdown stack automatasets of unit clauses

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (1)

A simplified problem reduction format

This page was built for publication: Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation