Zerendatu Informatika Fakultatea honen arabera: egilea"Chen, Hubert Ming"
-
About tree-depth
Mujika Aramendia, Asier (2015-10-15)In this work I present recent scientific papers related to the concept of tree-depth: different characterizations, a game theoretic approach to it and recently discovered applications. The focus in this work is presenting ... -
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 ... -
Treewidth: theory and applications to computer science
Matellanes Pastoriza, Ivan (2015-10-15)This report is an introduction to the concept of treewidth, a property of graphs that has important implications in algorithms. Some basic concepts of graph theory are presented in the first chapter for those readers that ...