selected publications academic article Computing the Clique-width of Cactus Graphs Functional first order definability of LRTp Low-Exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs The Incremental Satisfiability Problem for a Two Conjunctive Normal Form thesis Diseño de un algoritmo para aproximar el coloreo de una gráfica mediante conjuntos maximales independientes
