@inproceedings{ grid, urln = {puzzles-final.pdf} } , title = {Solving Challenging Grid Puzzles with Answer Set Programming} } , booktitle = {Proc. of ASP} } , author = {Merve Cayli and Ayse Gül Karatop and Emrah Kavlak and Hakan Kaynar and Ferhan Ture and Esra Erdem} } , 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.} } , year = {2007} } , pages = {175-190} }