Hacker News new | ask | show | jobs
by ellis-bell 2079 days ago
probably

circuit satisfiability and related hard problems are all reducible to each other