Resolvedor SAT, basado en procedimientos Davis-Putnam-Longemann-Loveland

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/87417

Title:	Resolvedor SAT, basado en procedimientos Davis-Putnam-Longemann-Loveland
Author:	Gabriel Cerna, Pedro Víctor; Nieuwenhuis, Robert Lukas Mario
Other authors:	Universitat Politècnica de Catalunya. Departament d'Expressió Gràfica a l'Enginyeria; Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
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.
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
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -SAT -Resolvedor SAT
Rights:
Document type:	Article - Published version Report
Share: