Mostra el registre d'ítem simple
Resolvedor SAT, basado en procedimientos Davis-Putnam-Longemann-Loveland
dc.contributor.author | Gabriel Cerna, Pedro Víctor |
dc.contributor.author | Nieuwenhuis, Robert Lukas Mario |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Expressió Gràfica a l'Enginyeria |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2016-05-27T08:36:44Z |
dc.date.available | 2016-05-27T08:36:44Z |
dc.date.issued | 2007-01 |
dc.identifier.citation | Gabriel, P., Nieuwenhuis, R. "Resolvedor SAT, basado en procedimientos Davis-Putnam-Longemann-Loveland". 2007. |
dc.identifier.uri | http://hdl.handle.net/2117/87417 |
dc.description.abstract | El problema de satisfación de fórmulas lógicas (SAT), es un problema NP-Hard. Una forma de resolverlo es por medio de procedimientos Davis-Putnam-Longemann-Loveland (DPLL), ahora presentamos una implementación de un resolvedor SAT a partir de procedimientos DPLL. |
dc.description.abstract | The problem of SAT is a problem NP-HARD, a way for solve is by Davis-Putnam-Longemann_Lovelan procedure (DPLL), here there is a SAT solver by this type of procedure |
dc.format.extent | 7 p. |
dc.language.iso | spa |
dc.relation.ispartofseries | LSI-06-4-T |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.other | SAT |
dc.subject.other | Resolvedor SAT |
dc.title | Resolvedor SAT, basado en procedimientos Davis-Putnam-Longemann-Loveland |
dc.type | External research report |
dc.contributor.group | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.rights.access | Open Access |
local.identifier.drac | 18538546 |
dc.description.version | Postprint (published version) |
local.citation.author | Gabriel, P.; Nieuwenhuis, R. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [21]
-
Reports de recerca [85]
-
Reports de recerca [30]
-
Reports de recerca [1.107]