title   
  

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,

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
219Kb

Abstract

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.

Item Type:Papers in Conference Proceedings
Subjects:UNSPECIFIED
ID Code:5086
Deposited By:Esra Erdem
Deposited On:26 Oct 2007 16:42
Last Modified:08 Jun 2008 19:43

Repository Staff Only: item control page