Metapuzzles: Reducing SAT to your favorite puzzle (2007) [pdf] | Hacker News Reader