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 MateuVolume:
18
Language:
english
DOI:
10.1007/s10601-012-9128-9
Date:
January, 2013
File:
PDF, 982 KB
english, 2013