Programacion concurrente con restricciones en mozart


Authors

  • Julio Hernando Vargas

Abstract

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.

Downloads

Download data is not yet available.

Downloads

Published

2004-01-05

How to Cite

Vargas, J. H. (2004). Programacion concurrente con restricciones en mozart. Scientia Et Technica, 1(24). Retrieved from https://revistas.utp.edu.co/index.php/revistaciencia/article/view/7365

Issue

Vol. 1 No. 24 (2004)

Section

Ciencias Básicas

License

Copyright (c) 2017 Scientia et technica

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.

Copyrights

The journal is free open access. The papers are published under the Creative Commons Attribution / Attribution-NonCommercial-NoDerivatives 4.0 International - CC BY-NC-ND 4.0 license. For this reason, the author or authors of a manuscript accepted for publication will yield all the economic rights to the Universidad Tecnológica of Pereira free of charge, taking into account the following:

In the event that the submitted manuscript is accepted for publication, the authors must grant permission to the journal, in unlimited time, to reproduce, to edit, distribute, exhibit and publish anywhere, either by means printed, electronic, databases, repositories, optical discs, Internet or any other required medium. In all cases, the journal preserves the obligation to respect, the moral rights of the authors, contained in article 30 of Law 23 of 1982 of the Government Colombian.

The transferors using ASSIGNMENT OF PATRIMONIAL RIGHTS letter declare that all the material that is part of the article is entirely free of copyright.  Therefore, the authors are responsible for any litigation or related claim to intellectual property rights. They exonerate of all responsibility to the Universidad Tecnológica of Pereira (publishing entity) and the Scientia et Technica journal. Likewise, the authors accept that the work presented will be distributed in free open access, safeguarding copyright under the Creative Commons Attribution / Recognition-NonCommercial-NoDerivatives 4.0 International - https://creativecommons.org/licenses/by-nc-nd/4.0/deed.es license.