Mostrar el registro sencillo del objeto digital
dc.contributor.author | De Ita, Guillermo | |
dc.contributor.author | Marcial Romero, J. Raymundo | |
dc.contributor.author | Hernández Servín, J. A. | |
dc.date.accessioned | 2019-11-13T19:08:10Z | |
dc.date.available | 2019-11-13T19:08:10Z | |
dc.date.issued | 2019-08-01 | |
dc.identifier.issn | 1367-0751 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11799/104962 | |
dc.language.iso | eng | es |
dc.publisher | LOGIC JOURNAL OF THE IGPL | es |
dc.rights | restrictedAccess | es |
dc.rights | https://creativecommons.org/licenses/by/4.0/ | es |
dc.rights | restrictedAccess | es |
dc.rights | https://creativecommons.org/licenses/by/4.0/ | es |
dc.subject | Graph Decomposition | es |
dc.subject | Enumerative Algorithm | es |
dc.subject | Counting models | es |
dc.title | A Bottom-Up Algorithm for Solving #2Sat | es |
dc.type | Artículo | es |
dc.provenance | Científica | es |
dc.road | Dorada | es |
dc.organismo | Ingeniería | es |