On the hardness of solving edge matching puzzles as SAT or CSP problems | Publicación