Satisfiability of equations in free groups is in PSPACE
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
The existential theory of equations with rational constraints in free groups is PSPACE-complete
Information and Computation
The existential theory of equations with rational constraints in free groups is PSPACE-complete
Information and Computation
Hi-index | 0.01 |