<p>El mayor esfuerzo en la investigación de la Programación con Restricciones se ha centrado en encontrar formas eficaces para solucionar Problemas de Satisfacción de Restricciones. Sin embargo, el aspecto más fundamental de la resolución de un Problema de Satisfacción de Restricciones, el modelado del problema, ha recibido mucho menos atención. Esto es importante porque la selección de una formulación apropiada puede tener efectos en la eficacia de cualquier algoritmo que resuelve problemas de satisfacción de restricciones.</p><p>Considerando esta importancia se identificaron algunas de las características claves que participan en la definición de un modelo y se analizaron los efectos que puede tener la definición de un modelo en la búsqueda de soluciones de un problema, lo que servirá como una base para realizar estudios futuros</p>
<p>The major research effort in Constraint Programming has focused on finding effective ways to solve Constraint Satisfaction Problems. However, the most fundamental aspect of solving a Constraint Satisfaction Problem, modeling of the problem, has received much less attention. This is important because the selection of an appropriate formulation can have dramatic effects on the effectiveness of any algorithm that solves Constraint Satisfaction Problems. Considering this importance, has identified some key features involved in the definition of a model and analyzed the effects it can have the definition of a model in the search for solutions to a problem, which will serve as a basis for future studies</p>
last modification
Licenciado en Ciencias de la Ingeniería
Ingeniero Civil en Informáticatítulo
INGENIERIA CIVIL INFORMATICA
<p>El mayor esfuerzo en la investigación de la Programación con Restricciones se ha centrado en encontrar formas eficaces para solucionar Problemas de Satisfacción de Restricciones. Sin embargo, el aspecto más fundamental de la resolución de un Problema de Satisfacción de Restricciones, el modelado del problema, ha recibido mucho menos atención. Esto es importante porque la selección de una formulación apropiada puede tener efectos en la eficacia de cualquier algoritmo que resuelve problemas de satisfacción de restricciones.</p><p>Considerando esta importancia se identificaron algunas de las características claves que participan en la definición de un modelo y se analizaron los efectos que puede tener la definición de un modelo en la búsqueda de soluciones de un problema, lo que servirá como una base para realizar estudios futuros</p>
<p>The major research effort in Constraint Programming has focused on finding effective ways to solve Constraint Satisfaction Problems. However, the most fundamental aspect of solving a Constraint Satisfaction Problem, modeling of the problem, has received much less attention. This is important because the selection of an appropriate formulation can have dramatic effects on the effectiveness of any algorithm that solves Constraint Satisfaction Problems. Considering this importance, has identified some key features involved in the definition of a model and analyzed the effects it can have the definition of a model in the search for solutions to a problem, which will serve as a basis for future studies</p>
