Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version)
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
The complexity of approximating pspace-complete problems for hierarchical specifications
Nordic Journal of Computing
Towards a Predictive Computational Complexity Theory
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Predecessor existence problems for finite discrete dynamical systems
Theoretical Computer Science
Easy problems for grid-structured graphs
FAW'07 Proceedings of the 1st annual international conference on Frontiers in algorithmics
Hi-index | 0.00 |