Theoretical Computer Science - Australasian computer science
Canonical disjoint NP-pairs of propositional proof systems
Theoretical Computer Science
Canonical disjoint NP-Pairs of propositional proof systems
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Survey of disjoint NP-pairs and relations to propositional proof systems
Theoretical Computer Science
Hi-index | 0.00 |