Ara mostrant els elements 1-3 de 3
Pon Farreny, Josep (Data de defensa: 2021-07-16)
En l’àrea de les ciències de la computació, és sabut que els algoritmes poden exhibir comportaments completament diferents depenent de com estiguin configurats els seus paràmetres, fet que s’aguditza ...
Gabàs Masip, Joel (Data de defensa: 2016-07-28)
La optimització amb restriccions ha estat utilitzada amb èxit par a resoldre problemes en molts dominis reals (industrials). Aquesta tesi es centra en les aproximacions lògiques, concretament en Màxima ...
Torres Montiel, Eduard (Data de defensa: 2022-10-07)
En aquesta tesi ens centrem en el problema de Combinatorial Testing mitjançant l'aplicació de la tecnologia de Satisfactibilitat. L'objectiu de CT és proveir d'un conjunt de proves que permeti capturar ...