Edge Matching Puzzles as Hard SAT/CSP Benchmarks | Publicación