Mostrar el registro sencillo del ítem
Tesis Doctoral
Sobre algunas clases polinomiales de satisfacibilidad : Aplicaciones a la resolución de problemas geométricos
dc.contributor.advisor | Portillo Fernández, José Ramón | es |
dc.creator | Jesus Rodrigues, José Inácio de | es |
dc.date.accessioned | 2015-04-16T09:25:20Z | |
dc.date.available | 2015-04-16T09:25:20Z | |
dc.date.issued | 2009 | es |
dc.identifier.citation | Jesus Rodrigues, J.I.d. (2009). Sobre algunas clases polinomiales de satisfacibilidad : Aplicaciones a la resolución de problemas geométricos. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. | |
dc.identifier.uri | http://hdl.handle.net/11441/24329 | |
dc.description.abstract | 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.| | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | es |
dc.subject | Computación | es |
dc.title | Sobre algunas clases polinomiales de satisfacibilidad : Aplicaciones a la resolución de problemas geométricos | es |
dc.type | info:eu-repo/semantics/doctoralThesis | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII) | es |
idus.format.extent | 184 p. | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/24329 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
O_Tesis-PROV34.pdf | 3.026Mb | [PDF] | Ver/ | |