Ara mostrant els elements 1-3 de 3
Espasa Arxer, Joan (Data de defensa: 2018-11-15)
Automated planning is a discipline in the field of Artificial Intelligence that can be described as the process of finding a course of action that achieves a specified task. In other words, it focuses ...
Coll Caballero, Jordi (Data de defensa: 2019-07-15)
Scheduling problems consist in determining how to execute the activities of a project in order to satisfy some requirements. Such problems are ubiquitous nowadays in industry and services, but finding ...
Suy Franch, Josep (Data de defensa: 2012-12-20)
In this thesis we focus on solving CSPs using SMT. Essentially, what we do is reformulating CSPs into SMT. The obtained results allow us to conclude that state-of-the-art SMT solvers are a robust tool ...