Ver el código de «Aplicaciones y casos de estudio (19-20)» - Lógica computacional y teoría de modelos (2019-20)

En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura.

* [[Laberintos]]: Laberintos  (Ana Bermudo y Gema Terrón)([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/PresentaciónLaberintos.pdf  pdf]) .
* Grid puzzles:
** [[Masyu (Jan Wasilewski)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Presentacion-masayu.pdf pdf]).
** [[Heyawake (Alina Kasiuk y Xinyi Wu)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Solving-Challenging-Grid-Puzzles.pdf pdf]).
** [[Nuricabe (Alina Kasiuk y Xinyi Wu)]] ([http://www.cs.us.es/~mjoseh/cursos/lcytm-19/aplicaciones/Solving-Challenging-Grid-Puzzles.pdf pdf]).
* Aplicaciones biológicas (Jesús Camacho y Estefanía Espinar):
** [[Reparación de redes metabólicas (código)]] e [[instancia]].
** [[Completación de redes metabólicas (código e instancia)]]