Hierarchical planarity testing algorithms
Journal of the ACM (JACM)
Efficient decision procedures for graph properties on context-free graph languages
Journal of the ACM (JACM)
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
Hi-index | 0.00 |