Browsing 1.1 Trabajos fin de grado - Computación by Author "Hermo Huguet, Montserrat"
Now showing items 1-2 of 2
-
Restricciones de igualdad sobre el dominio de los naturales
García Martínez, Jon Ander (2015-10-15)El objetivo de este proyecto consiste en implementar una aplicación que busca todos los modelos de una fórmula recibida como entrada. Esta fórmula de entrada pertenece a la lógica NatEq, la cual es un subconjunto de la ... -
SAT instance analysis
Celaya Rodríguez, Joseba (2021-10-08)The objective is to develop a tool for extracting structural features of SAT instances; and use them to understand, and measure, state-of-the-art SAT solvers' performance.