Solving challenging grid puzzles with answer set programming
Çaylı, Merve and Karatop, Ayşe Gül and Kavlak, Ahmet Emrah and Kaynar, Hakan and Türe, Ferhan and Erdem, Esra (2007) Solving challenging grid puzzles with answer set programming. In: International Workshop on Answer Set Programming,
We study four challenging grid puzzles, Nurikabe, Heyawake, Masyu, Bag Puzzle, interesting for answer set programming (ASP) from the viewpoints of representation and computation: they show expressivity of ASP, they are good examples of a representation methodology, and they form a useful suite of benchmarks for evaluating/improving computational methods for nontight programs.
Repository Staff Only: item control page