arXiv:1212.1789 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords finding hard tautologies, computational complexity, proof system, time algorithm finding tautologies hard, polynomial time algorithm finding tautologies Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset