Aperiodicity of Rational Functions Is PSPACE-Complete.

Emmanuel Filiot Olivier Gauwin Nathan Lhote

Published in: FSTTCS (2016)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
strips planning
decision making
database
knowledge base
constraint satisfaction
context sensitive