Resumen de PROGRAMACION CONCURRENTE CON RESTRICCIONES EN MOZART.
- español
En este artículo daremos una breve introducción a la programación concurrente con restricciones en Mozart. La tarea central (considerada un arte) al hacer programación con restricciones es encontrar un buen modelo para describir el problema y diseñar propagadores y estrategias de distribución que minimicen la complejidad del árbol de búsqueda. Con unos pocos ejemplos (combinatorios y de planificación) mostramos como usar algunas de las herramientas básicas (pero poderosas) que se tienen en el sistema Mozart.
- English
In this article we will give a brief introduction to the concurrent constraint programming whit Mozart. The central task (considered as an art) in doing a constraint program is to find a good model to describe the problem and device propagators and distribution strategy that minimize the complexity of the search tree. Whit a few examples (combinational and of scheduling) we illustrate how to use some of the most basic (but powerful) tools that we have in the Mozart system.
