Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad

Por favor, use este identificador para citar o enlazar este ítem: http://repositoriodigital.ipn.mx/handle/123456789/15111

Registro completo de metadatos

Campo DC	Valor	Lengua/Idioma
dc.contributor.advisor	Morales-Luna, Guillermo	-
dc.contributor.author	De Ita Luna, Guillermo	-
dc.date.accessioned	2013-04-13T00:57:23Z	-
dc.date.available	2013-04-13T00:57:23Z	-
dc.date.issued	1998-12-15	-
dc.identifier.citation	Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3	es
dc.identifier.issn	1405-5546	-
dc.identifier.uri	http://www.repositoriodigital.ipn.mx/handle/123456789/15111	-
dc.description.abstract	Abstract. En esta investigación doctoral se analizaron los problemas de satisfactibilidad en el cálculo proposicional. Como resultado del análisis se diseñaron y construyeron diversas propuestas algorítmicas para la resolución de tales problemas. Enfasis especial se puso en la determinación de la complejidad en tiempo de los peores casos que aparecen al trabajar con las propuestas algorítmicas.	es
dc.description.sponsorship	Instituto Politécnico Nacional - Centro de Investigación en Computación (CIC).	es
dc.language.iso	es	es
dc.publisher	Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3	es
dc.relation.ispartofseries	Revista Computación y Sistemas;Vol. 2 No. 2 y No. 3	-
dc.title	Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad	es
dc.type	Article	es
dc.description.especialidad	Investigación en Computación	es
dc.description.tipo	PDF	es
Aparece en las colecciones:	Revistas

Ficheros en este ítem:

Fichero	Descripción	Tamaño	Formato
ART 8.pdf	Abstract of PhD Thesis de la Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3	7.71 MB	Adobe PDF	Visualizar/Abrir

El Instituto Politécnico Nacional