Semi-membership algorithms: some recent advances
ACM SIGACT News
Is the Standard Proof System for SAT P-Optimal?
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
The shrinking property for NP and coNP
Theoretical Computer Science
Functions Computable with Nonadaptive Queries to NP
Theory of Computing Systems
Hi-index | 0.00 |