Dear colleagues,
a new preprint of mine entitled "On the computational
complexity of finding hard tautologies" is available
via my web page or via the ArXiv (which also displays
the abstract separately). Comments most welcome.
Regards,
Jan