Re:Tunguska: Ternary Computer Emulator (2008)
by gwf on Monday January 04, 2021 @02:34PM
(#25636683)
None. The point of the paper was the proof technique, which was later extended to include a large family of constrained motion planning problems (i.e., problems that previously were of an unknown computational complexity could be easily mapped to the framework, thereby proving that they were PSPACE-complete).
[ Parent
| on HN ]
There are no comments on this comment yet.