Solving challenging grid puzzles with answer set programming

De WikiGLC
Saltar a: navegación, buscar

M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. Solving challenging grid puzzles with answer set programming. En Proc. of ASP'07, pp. 175-190.

En este trabajo se presenta 4 rompecabezas que suponen un reto de programación y su solución en ASP. Con ello se muestra la potencia expresiva de ASP y su eficiencia computacional. Además sirve para ilustrar la metodología de la representación de problemas en ASP.

Contiene las soluciones comentadas de los cuatro problemas. Además, el código está disponible en puzzles.tar.gz.

Este trabajo es interesante para el proyecto Solución declarativa de problemas.

José A. Alonso 10:37, 12 November 2008 (CET)

Obtenido de «https://www.glc.us.es/web/index.php?title=Solving_challenging_grid_puzzles_with_answer_set_programming&oldid=401»