Browsing by Subject "3-SAT"
Now showing items 1-1 of 1
-
(Universidad de Chile, 2013)El principal objetivo de esta tesis es encontrar casos tratables y buenas técnicas para computar Certain Answers sobre bases de datos de grafos incompletas, en tiempo polinomial. Las bases de datos de grafos surgen ...