A Lower Bound for Interpolation

DOI10.1093/jigpal/5.3.1-azbMath0873.03039OpenAlexW1963758944MaRDI QIDQ4340536

Michael Gavrilovich

Publication date: 26 October 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/5.3.1-a

zbMATH Keywords

tautologiesinterpolant of a valid implicationsize of the shortest interpolant

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Classical propositional logic (03B05)

This page was built for publication: A Lower Bound for Interpolation