Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation

Publisher Website

1 February 1980

journal article
Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing

Vol. 9 (1), 104-110
https://doi.org/10.1137/0209008

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Intuitionistic propositional logic is polynomial-space complete
Theoretical Computer Science, 1979
Herbrand's Theorem and Gentzen's Notion of a Direct Proof
Published by Elsevier ,1977
Complete problems for deterministic polynomial time
Theoretical Computer Science, 1976

Cited by 1 article