Problems that are decidable but cannot be verified in polynomial time
Posted by Scott R, at cstheory.stackexchange.com,
While working on a somewhat unrelated project for Suresh I recently came across some work done by Page and Opper about User-Compo…