Primeros pasos con la Programación de Restricciones [cerrado]

Buscando consejos, tutoriales, libros y otros recursos para comenzar con la Programación de Restricciones.

Author: Larsenal, 2008-11-26
Source

9 answers

Hay una gran cantidad de material excelente disponible en la web una vez que te metes en el groove, pero los enlaces a continuación son (IMO) buenos puntos de partida (los que 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 Restricciones

 17
Author: belwood,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2018-03-23 15:07:03

Constraint Handling Rules (CHR) es un lenguaje para desarrollar solucionadores de restricciones propios (específicos del problema). Compruebe esto:

Allí encontrará enlaces a

  • Demostración en Línea de WebCHR (desarrollado originalmente en LMU Munich, ahora embellecido en Uni Ulm)
  • Varias implementaciones para Prolog (naturalmente) y Haskell , así como un prototipo (desafortunadamente no mantenido) para Java (JCK).

También hay una implementación JavaScript de CHR: http://chrjs.net (https://github.com/fnogatz/CHR.js )

 9
Author: mtp,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2018-04-23 13:35:31

Tal vez puedas echar un vistazo a un curso introductorio pensado en la Universidad de Saarland sobre programación de restricciones. No usan mozart como dr_pepper dijo, sino Gecode . Gecode es un lenguaje de seguimiento de mozart, implementado en parte por las mismas personas.

 6
Author: boutta,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2017-05-23 12:25:53

Recomiendo empezar con mozart. Es un lenguaje de programación de restricciones de código abierto y el sitio tiene mucha documentación que lo ayudará a comenzar.

 4
Author: dr_pepper,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2008-11-26 17:54:40

Aquí hay otro enlace a un sitio web del curso sobre Programación de restricciones.

Antes el curso usaba Mozart/Oz para las configuraciones, pero ahora ha sido reemplazado por Gecode.

 3
Author: Ola Herrdahl,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2009-07-24 08:16:46

Te sugiero que busques más en el siguiente sitio web sobre programación de restricciones maintaned por Håkan Kjellerstrand (también conocido como Hakank) en Hakank's Homepage

 3
Author: decision maker,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2017-04-11 05:33:27

Microsoft Solver Foundation tiene algunos ejemplos fáciles de entender.

 1
Author: Larsenal,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2009-09-01 16:41:50

El manual de programación de restricciones está bien pensado.

En trivia, mi supervisor de cuarto año universidad (que era hace un tiempo ahora) se hace referencia allí. :)

 0
Author: Jon DellOro,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2008-12-05 02:51:08

Si eres un programador Java, te recomiendo usar Cream: Class Library para Programación de Restricciones

 0
Author: axelclk,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2008-12-20 17:12:46