Repositorio de producción científica de la Universidad de Sevilla

Sobre algunas clases polinomiales de satisfacibilidad : Aplicaciones a la resolución de problemas geométricos

Opened Access Sobre algunas clases polinomiales de satisfacibilidad : Aplicaciones a la resolución de problemas geométricos
Estadísticas
Icon
Exportar a
Autor: Jesus Rodrigues, José Inácio de
Director: Portillo Fernández, José Ramón
Departamento: Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII)
Fecha: 2009
Tipo de documento: Tesis Doctoral
Resumen: La Geometría Computacional posee un vasto campo de aplicaciones en las áreas de las Ciencias de Información Geográfica, Electrónica y Computación, entre muchas otras. En estos campos, los problemas de etiquetado de mapas, trazados de circuitos integrados o creación de diagramas de flujos y organigramas son ejemplos particulares de problemas cuyas instancias son en muchos casos reducibles al problema de satisfacibilidad proposicional (SAT). Es decir, su resolución puede ser conseguida a partir de la resolución de determinadas instancias de SAT.|

Acceder al texto completo

URI: http://hdl.handle.net/11441/24329

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 4.0 España

Este registro aparece en las siguientes colecciones