On an optimal quantified propositional proof system and a complete language for NP . . . (1997)

Cached

Download Links

by Zenon Sadowski
Venue:In Proceedings of the 11th International Symposium on Fundamentals of Computing Theory, LNCS #1279
Citations:6 - 0 self