Hacker News new | ask | show | jobs
SAT Requires Exhaustive Search (arxiv.org)
2 points by tbodt 982 days ago