A Critique of Czerwinski's "Separation of PSPACE and EXP".

Ian Clingerman Quan Luu

Published in: CoRR (2023)

Keyphrases

temporal logic
mazurkiewicz traces
special case
decision procedures
data sets
machine learning
case study
optimal solution
computational complexity
np hard
mobile robot
np complete
pspace complete