News for hackers. Stuff that matters.

A comment on The International SAT Competition Web Page. Parent comment

Re:The International SAT Competition Web Page by pwdisswordfishc on Monday September 18, 2023 @03:37AM (#37553375)
https://xkcd.com/559/
[ Parent | on HN ]
Re:The International SAT Competition Web Page by fovc on Monday September 18, 2023 @10:02AM (#37556265)
I guess “pun” because I proposed an exponential worst-case but usually actually fast algorithm based on backtracking, which is what SAT is.
[ Parent | on HN ]