4 ms·

Look into the formal verification community, where PSPACE-complete is "easy" and undecidable is normal.

• quickthrower2 3y ago
  Hopefully they don’t need to deal with “big data”