2026-04-13T04:02:51Zhttps://recercat.cat/oai/request
oai:recercat.cat:10459.1/466462024-12-05T22:41:39Zcom_2072_3622col_2072_479130
RECERCAT author Ansótegui Gil, Carlos José author Béjar Torres, Ramón author Fernàndez Camon, César author Mateu Piñol, Carles 2024-12-05T22:41:39Z 2024-12-05T22:41:39Z 2013-09-19T14:50:03Z2013-09-19T14:50:03Z2008 http://hdl.handle.net/10459.1/46646 Recently, edge matching puzzles, an NP-complete problem, have rececived, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving techniques but also as an opportunity to showcase the advances in the SAT/CSP community to a general audience. This paper studies the NP-complete problem of edge matching puzzles focusing on providing generation models of problem instances of variable hardness and on its resolution through the application of SAT and CSP techniques. From the generation side, we also identify the phase transition phenomena for each model. As solving methods, we employ both; SAT solvers through the translation to a SAT formula, and two ad-hoc CSP solvers we have developed, with different levels of consistency, employing several generic and specialized heuristics. Finally, we conducted an extensive experimental investigation to identify the hardest generation models and the best performing solving techniques. (c) Springer, 2008 info:eu-repo/semantics/openAccess Intel·ligència artificial Tecnologia -- Innovacions Edge matching puzzles as hard SAT/CSP benchmarks article acceptedVersion