Login / Signup

The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete.

Volker DiekertClaudio GutiérrezChristian Hagenah
Published in: STACS (2001)
Keyphrases
  • pspace complete
  • np complete
  • model checking
  • decision problems
  • query answering
  • satisfiability problem
  • tree automata
  • learning algorithm
  • data exchange
  • strips planning
  • search algorithm
  • probability distribution