El Instituto Politécnico Nacional
Contribuye al desarrollo económico y social de la nación, a través de la formación integral de personas competentes; de la investigación, el desarrollo tecnológico y la innovación. Además tiene reconocimiento internacional por su calidad e impacto social.
Por favor, use este identificador para citar o enlazar este ítem:
http://repositoriodigital.ipn.mx/handle/123456789/15111| Título : | Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad |
| Autor : | Morales-Luna, Guillermo De Ita Luna, Guillermo |
| Fecha de publicación : | 15-dic-1998 |
| Editorial : | Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3 |
| Citación : | Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3 |
| Citación : | Revista Computación y Sistemas;Vol. 2 No. 2 y No. 3 |
| Resumen : | 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. |
| URI : | http://www.repositoriodigital.ipn.mx/handle/123456789/15111 |
| ISSN : | 1405-5546 |
| 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 |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.