Mostra el registre d'ítem simple

dc.contributor.authorGabriel Cerna, Pedro Víctor
dc.contributor.authorNieuwenhuis, Robert Lukas Mario
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Expressió Gràfica a l'Enginyeria
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2016-05-27T08:36:44Z
dc.date.available2016-05-27T08:36:44Z
dc.date.issued2007-01
dc.identifier.citationGabriel, P., Nieuwenhuis, R. "Resolvedor SAT, basado en procedimientos Davis-Putnam-Longemann-Loveland". 2007.
dc.identifier.urihttp://hdl.handle.net/2117/87417
dc.description.abstractEl 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.abstractThe 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.extent7 p.
dc.language.isospa
dc.relation.ispartofseriesLSI-06-4-T
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.otherSAT
dc.subject.otherResolvedor SAT
dc.titleResolvedor SAT, basado en procedimientos Davis-Putnam-Longemann-Loveland
dc.typeExternal research report
dc.contributor.groupUniversitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
dc.rights.accessOpen Access
local.identifier.drac18538546
dc.description.versionPostprint (published version)
local.citation.authorGabriel, P.; Nieuwenhuis, R.


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple