Super-Polynomial Speed-Ups in Proof Length by New Tautologies

Uwe Egly. Super-Polynomial Speed-Ups in Proof Length by New Tautologies. In Carlos A. Pinto-Ferreira, Nuno J. Mamede, editors, Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA 95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings. Volume 990 of Lecture Notes in Computer Science, pages 29-40, Springer, 1995.

Abstract

Abstract is missing.