Mostrando ítems 1-3 de 3
Pon Farreny, Josep (Fecha 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 (Fecha 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 (Fecha 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 ...