Publications

Results 1-3 of 3 (Search time: 0.007 seconds).

	Issue Date	Title	Author(s)
1	-	The Incremental Satisfiability Problem for a Two Conjunctive Normal Form	GUILLERMO DE ITA LUNA ; JOSE RAYMUNDO MARCIAL ROMERO ; JOSE ANTONIO HERNANDEZ SERVIN
2	-	Computing the Clique-width of Cactus Graphs	JOSE RAYMUNDO MARCIAL ROMERO ; JOSE ANTONIO HERNANDEZ SERVIN ; JACOBO LEONARDO GONZALEZ RUIZ
3	-	Low-Exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs	GUILLERMO DE ITA LUNA ; JOSE RAYMUNDO MARCIAL ROMERO ; JOSE ANTONIO HERNANDEZ SERVIN

DSpace CRIS