Programacion concurrente con restricciones en mozart


Autores/as

  • Julio Hernando Vargas

Resumen

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.

Descargas

Los datos de descargas todavía no están disponibles.

Descargas

    Vistas(Views): 301
  • PDF Descargas(Downloads): 298

Publicado

2004-01-05

Cómo citar

Vargas, J. H. (2004). Programacion concurrente con restricciones en mozart. Scientia Et Technica, 1(24). Recuperado a partir de https://ojs2.utp.edu.co/index.php/revistaciencia/article/view/7365

Número

Vol. 1 Núm. 24 (2004)

Sección

Ciencias Básicas

Licencia

Derechos de autor 2017 Scientia et technica

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.

Derechos de autor y licencias

La revista es de acceso abierto gratuito y sus artículos se publican bajo la licencia Creative Commons Atribución/Reconocimiento-No Comercial-Compartir bajo los mismos términos 4.0 Internacional — CC BY-NC-SA 4.0.

Los autores de un artículo aceptado para publicación cederán la totalidad de los derechos patrimoniales a la Universidad Tecnológica de Pereira de manera gratuita, teniendo en cuenta lo siguiente:  En caso de que el trabajo presentado sea aprobado para su publicación, los autores deben autorizar de manera ilimitada en el tiempo, a la revista para que pueda reproducirlo, editarlo, distribuirlo, exhibirlo y comunicarlo en cualquier lugar, ya sea por medios impresos,  electrónicos, bases de datos, repositorios, discos ópticos, Internet o cualquier otro medio  requerido.

Los cedentes mediante contrato CESIÓN DE DERECHOS PATRIMONIALES declaran que todo el material que forma parte del artículo está totalmente libre de derechos de autor de terceros y, por lo tanto, se hacen responsables de cualquier litigio o reclamación relacionada o reclamación relacionada con derechos de propiedad intelectual, exonerando de toda responsabilidad a la Universidad Tecnológica de Pereira (entidad editora) y a su revista Scientia et Technica. De igual forma, los autores aceptan que el trabajo que se presenta sea distribuido en acceso abierto gratuito, resguardando los derechos de autor bajo la licencia Creative Commons Atribución/Reconocimiento-No Comercial- Compartir bajo los mismos términos 4.0 Internacional — CC BY-NC-SA 4.0. 

 https://creativecommons.org/licenses/by-nc-sa/4.0/

A los autores, la revista Scientia et Technica tiene la obligación de respetarle los derechos morales (artículo 30 de la Ley 23 de 1982 del Gobierno Colombiano) que se les debe reconocen a estos la paternidad de la obra, el derecho a la integridad y el derecho de divulgación.  Estos no se pueden ceder ni renunciar.