constraint programming - software - Comenzar con la Programación de Restricción
restricciones de software definicion (9)
En busca de consejos, tutoriales, libros y otros recursos para comenzar con la Programación de Restricciones.
Recomiendo empezar con Mozart . Es un lenguaje de programación de restricciones de código abierto y el sitio tiene una gran cantidad de documentación que lo ayudará a comenzar.
El manual de programación de restricciones está bien pensado.
En trivia, mi supervisor de la universidad de cuarto año (que fue hace un tiempo ahora) se hace referencia allí. :)
Si eres programador de Java, te recomiendo usar Cream: Class Library for Restraint Programming
Aquí hay otro enlace al sitio web de un curso sobre Programación de Restricciones .
Anteriormente, el curso utilizó Mozart / Oz para las evaluaciones, pero ahora ha sido reemplazado por Gecode .
Hay una gran cantidad de material excelente disponible en la web una vez que te encuentras en la rutina, pero los enlaces a continuación son buenos puntos de partida (los que yo usé).
Programación con restricciones: una introducción - (sitio web del curso)
Programación con restricciones: una introducción - (Google book)
Guía en línea para la programación de restricción
Tutorial CSP (Programa de divulgación 4C)
La Solver Foundation de Microsoft tiene algunos ejemplos fáciles de entender.
Las reglas de manejo de restricciones (CHR) es un lenguaje para desarrollar solucionadores de restricciones propios (específicos del problema). Mira esto:
Allí encuentras enlaces a
- Demostración en línea de WebCHR (originalmente desarrollada en LMU Munich, ahora embellecida en Uni Ulm)
- Varias implementaciones para Prolog (naturalmente) y Haskell , así como un prototipo (desafortunadamente no mantenido) para Java (JCK).
Le sugiero que busque más información en el siguiente sitio web sobre la programación restrictiva mantenida por Håkan Kjellerstrand (también conocido como Hakank) en la página de inicio de Hakank.