Ara mostrant els elements 1-2 de 2
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 ...
Palahí i Sitges, Miquel (Data de defensa: 2015-12-10)
In this thesis we focus on reformulate constraint satisfaction problems (CSP) into SAT Modulo Theories (SMT). SMT is an extension of SAT where the literals appearing in the formulas are not restricted ...