Solving Challenging Grid Puzzles with Answer Set Programming. Cayli, M., Karatop, A. G., Kavlak, E., Kaynar, H., Ture, F., & Erdem, E. In Proc. of ASP, pages 175-190, 2007. N abstract bibtex 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.
@INPROCEEDINGS{grid,
author = {Merve Cayli and Ayse Gül Karatop and Emrah Kavlak and Hakan Kaynar and Ferhan Ture and Esra Erdem},
title = {Solving Challenging Grid Puzzles with Answer Set Programming},
year = {2007},
booktitle = {Proc. of ASP},
pages = {175-190},
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.},
urlN = {puzzles-final.pdf},
}
Downloads: 0
{"_id":{"_str":"53424e050e946d920a00068c"},"__v":20,"authorIDs":["5456f0758b01c81930000081","5456f10e8b01c8193000008f","5df0b7a08367c8de010000ce","5df87bbedb7d9ddf01000044","5e4957a916841dde01000031","u493trvfaXuB4g9PZ"],"author_short":["Cayli, M.","Karatop, A. G.","Kavlak, E.","Kaynar, H.","Ture, F.","Erdem, E."],"bibbaseid":"cayli-karatop-kavlak-kaynar-ture-erdem-solvingchallenginggridpuzzleswithanswersetprogramming-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Merve"],"propositions":[],"lastnames":["Cayli"],"suffixes":[]},{"firstnames":["Ayse","Gül"],"propositions":[],"lastnames":["Karatop"],"suffixes":[]},{"firstnames":["Emrah"],"propositions":[],"lastnames":["Kavlak"],"suffixes":[]},{"firstnames":["Hakan"],"propositions":[],"lastnames":["Kaynar"],"suffixes":[]},{"firstnames":["Ferhan"],"propositions":[],"lastnames":["Ture"],"suffixes":[]},{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]}],"title":"Solving Challenging Grid Puzzles with Answer Set Programming","year":"2007","booktitle":"Proc. of ASP","pages":"175-190","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.","urln":"puzzles-final.pdf","bibtex":"@INPROCEEDINGS{grid,\n author = {Merve Cayli and Ayse Gül Karatop and Emrah Kavlak and Hakan Kaynar and Ferhan Ture and Esra Erdem},\n title = {Solving Challenging Grid Puzzles with Answer Set Programming},\n year = {2007},\n booktitle = {Proc. of ASP},\n pages = {175-190},\n abstract = {We study four challenging grid puzzles, Nurikabe, Heyawake, Masyu, Bag Puzzle, \ninteresting for answer set programming (ASP) from the viewpoints of representation \nand computation: they show expressivity of ASP, they are good examples of a representation \nmethodology, and they form a useful suite of benchmarks for evaluating/improving \ncomputational methods for nontight programs.},\n urlN = {puzzles-final.pdf},\n}\n\n","author_short":["Cayli, M.","Karatop, A. G.","Kavlak, E.","Kaynar, H.","Ture, F.","Erdem, E."],"key":"grid","id":"grid","bibbaseid":"cayli-karatop-kavlak-kaynar-ture-erdem-solvingchallenginggridpuzzleswithanswersetprogramming-2007","role":"author","urls":{"N":"http://193.255.135.175/papers/puzzles-final.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://193.255.135.175/papers/krrpublications.bib","downloads":0,"keywords":[],"search_terms":["solving","challenging","grid","puzzles","answer","set","programming","cayli","karatop","kavlak","kaynar","ture","erdem"],"title":"Solving Challenging Grid Puzzles with Answer Set Programming","year":2007,"dataSources":["WeBGfagwiP89ve7hM"]}