Suy Franch, Josep (Date of defense: 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 ...
Rusek, Robert (Date of defense: 2017-05-24)
The thesis concentrates particularly on how to enhance space-use in the case of public facilities. This issue has been approached by repurposing existing facilities and introducing additional services, ...
Perafita Basart, Xavier (Date of defense: 2023-11-24)
In the last twenty years, the study of social inequalities has been a topic of special interest, revealing how differences between social classes have increased. During the same period, data generation ...