Practical uses for 3-SAT

[bwebster]

Kind of. OK, not really. Bram Cohen (creator of BitTorrent) muses on the solvability of Sudoku puzzles here. Puzzle creation is an interesting problem as well.

Comments

[ikarpov]

Another pracical use for 3-SAT was recently discovered by your mom, but I won't talk about it here...