3 ms·
https://xkcd.com/559/ https://xkcd.com/559/
by pwdisswordfishc 3y ago
https://xkcd.com/559/ https://xkcd.com/559/
- fovc 3y agoI guess “pun” because I proposed an exponential worst-case but usually actually fast algorithm based on backtracking, which is what SAT is.