A Critique of Sopin's "PH = PSPACE".

Michael C. Chavrimootoo Ian Clingerman Quan Luu

Published in: CoRR (2023)

Keyphrases

temporal logic
pspace complete
complexity bounds
mazurkiewicz traces
data sets
model checking
decision procedures
database
domain specific