Browsing Facultad de Informática by Author "Hermo Huguet, Montserrat"

Now showing items 1-3 of 3

    • Thumbnail

      Gestor de transportes 

      Rabano Astorga, Miguel Angel (2013-06-03)
      Aplicación para la gestión del transporte para la pequeña empresa
    • Thumbnail

      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 ...
    • Thumbnail

      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.