A non-elementary speed-up in proof length by structural clause form transformation
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 213-219
- https://doi.org/10.1109/lics.1994.316070
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Complexity of resolution proofs and function introductionAnnals of Pure and Applied Logic, 1992
- Lower Bounds on Herbrand's TheoremProceedings of the American Mathematical Society, 1979