Constraint solving y su aplicación práctica a problemas con restricciones
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2024.
Main Author: | |
---|---|
Other Authors: | |
Format: | bachelorThesis |
Language: | spa |
Published: |
2024
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/554291 |
_version_ | 1825132221951901696 |
---|---|
author | Cano, Agustín |
author2 | Brandán Briones, Laura |
author_facet | Brandán Briones, Laura Cano, Agustín |
author_sort | Cano, Agustín |
collection | Repositorio Digital Universitario |
description | Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2024. |
format | bachelorThesis |
id | rdu-unc.554291 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2024 |
record_format | dspace |
spelling | rdu-unc.5542912024-11-21T13:33:12Z Constraint solving y su aplicación práctica a problemas con restricciones Cano, Agustín Brandán Briones, Laura Software e ingeniería del software Notaciones y herramientas de software Marcos y entornos de desarrollo Entornos de desarrollo específicos para aplicaciones alta relevancia Resolución de restricciones Programación Algoritmos Java Modelado Soluciones factibles Heurísticas Minimización de costos Simulación Inteligencia artificial Productividad Optimización Flexibilidad Eficiencia Entornos específicos Artificial intelligence Software and its engineering Software notations and tools Development frameworks and environments Application specific development environments high relevance Constraint solving Programming Algorithms Local search OptaPlanner Choco-solver JaCoP Constraint satisfaction NP-hard Modeling Feasible solutions Heuristics Cost minimization Simulation Productivity Optimization Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2024. Fil: Cano, Agustín. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. En esta tesis se aborda el paradigma de Constraint Solving y su aplicación práctica en la resolución de problemas con restricciones. Se examina el paradigma y se analiza el algoritmo más usado en el ámbito: Local Search, con un enfoque particular en sus distintas implementaciones y aplicaciones a problemas del mundo real. Se investigan las herramientas más usadas de la actualidad, repasando ventajas y desventajas de cada una, como por ejemplo documentación, ejemplos, actividad de la comunidad, curva de aprendizaje, facilidad de instalación, etc. Además, se presentan casos de estudio y ejemplos concretos que ilustran la performance de cada herramienta en la resolución de problemas complejos de diversas áreas. La intención de este trabajo es contribuir al entendimiento básico del Constraint Solving como herramienta para la resolución de problemas con restricciones en la práctica. In this thesis, the paradigm of Constraint Solving and its practical application in solving problems with constraints is addressed. The paradigm is examined, and the most commonly used algorithm in the field, Local Search, is analyzed with a particular focus on its various implementations and real-world applications. The most widely used tools today are investigated, reviewing the advantages and disadvantages of each, such as documentation, examples, community activity, learning curve, ease of installation, and more. Additionally, case studies and concrete examples are presented that illustrate the performance of each tool in solving complex problems across various fields. The aim of this work is to contribute to a basic understanding of Constraint Solving as a tool for solving practical constraint-based problems. Fil: Cano, Agustín. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. 2024-11-19T12:38:56Z 2024-11-19T12:38:56Z 2024-10 bachelorThesis http://hdl.handle.net/11086/554291 spa Attribution-ShareAlike 4.0 International http://creativecommons.org/licenses/by-sa/4.0/ |
spellingShingle | Software e ingeniería del software Notaciones y herramientas de software Marcos y entornos de desarrollo Entornos de desarrollo específicos para aplicaciones alta relevancia Resolución de restricciones Programación Algoritmos Java Modelado Soluciones factibles Heurísticas Minimización de costos Simulación Inteligencia artificial Productividad Optimización Flexibilidad Eficiencia Entornos específicos Artificial intelligence Software and its engineering Software notations and tools Development frameworks and environments Application specific development environments high relevance Constraint solving Programming Algorithms Local search OptaPlanner Choco-solver JaCoP Constraint satisfaction NP-hard Modeling Feasible solutions Heuristics Cost minimization Simulation Productivity Optimization Cano, Agustín Constraint solving y su aplicación práctica a problemas con restricciones |
title | Constraint solving y su aplicación práctica a problemas con restricciones |
title_full | Constraint solving y su aplicación práctica a problemas con restricciones |
title_fullStr | Constraint solving y su aplicación práctica a problemas con restricciones |
title_full_unstemmed | Constraint solving y su aplicación práctica a problemas con restricciones |
title_short | Constraint solving y su aplicación práctica a problemas con restricciones |
title_sort | constraint solving y su aplicacion practica a problemas con restricciones |
topic | Software e ingeniería del software Notaciones y herramientas de software Marcos y entornos de desarrollo Entornos de desarrollo específicos para aplicaciones alta relevancia Resolución de restricciones Programación Algoritmos Java Modelado Soluciones factibles Heurísticas Minimización de costos Simulación Inteligencia artificial Productividad Optimización Flexibilidad Eficiencia Entornos específicos Artificial intelligence Software and its engineering Software notations and tools Development frameworks and environments Application specific development environments high relevance Constraint solving Programming Algorithms Local search OptaPlanner Choco-solver JaCoP Constraint satisfaction NP-hard Modeling Feasible solutions Heuristics Cost minimization Simulation Productivity Optimization |
url | http://hdl.handle.net/11086/554291 |
work_keys_str_mv | AT canoagustin constraintsolvingysuaplicacionpracticaaproblemasconrestricciones |