The Complexity of Graph Isomorphism for Colored Graphs with Color Classes of Size 2 and 3
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Solving Order Constraints in Logarithmic Space
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Completeness results for graph isomorphism
Journal of Computer and System Sciences
The complexity of planarity testing
Information and Computation
Cyclic Extensions of Order Varieties
Electronic Notes in Theoretical Computer Science (ENTCS)
The complexity of satisfiability problems: Refining Schaefer's theorem
Journal of Computer and System Sciences
The complexity of satisfiability problems: refining Schaefer's theorem
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
| Hi-index | 0.00 |