BackBrowsing 1.1 Trabajos fin de grado - Computación by Author "Chen, Hubert Ming"
Now showing items 1-3 of 3
-
About tree-depth
(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
(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
(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 ...