Graph Isomorphism Is Low for ZPP(NP) and Other Lowness Results
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Random 3-SAT and BDDs: The Plot Thickens Further
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
P-immune sets with holes lack self-reducibility properties
Theoretical Computer Science
Competing provers yield improved Karp-Lipton collapse results
Information and Computation
Symbolic Techniques in Satisfiability Solving
Journal of Automated Reasoning
Competing provers yield improved Karp-Lipton collapse results
Information and Computation
The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory
Journal of Computer and System Sciences
Solvable Group Isomorphism Is (Almost) in NP ∩ coNP
ACM Transactions on Computation Theory (TOCT)
Search vs. symbolic techniques in satisfiability solving
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Separating the notions of self- and autoreducibility
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Autoreducibility of complete sets for log-space and polynomial-time reductions
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Hi-index | 0.00 |