Browsing by Author GUILLERMO DE ITA LUNA
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
- | 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 |
- | The Incremental Satisfiability Problem for a Two Conjunctive Normal Form | GUILLERMO DE ITA LUNA ; JOSE RAYMUNDO MARCIAL ROMERO ; JOSE ANTONIO HERNANDEZ SERVIN |