On the hardness of solving edge matching puzzles as SAT or CSP problems

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu. On the hardness of solving edge matching puzzles as SAT or CSP problems. Constraints, 18(1):7-37, 2013. [doi]

Abstract

Abstract is missing.