Mostrar el registro sencillo del ítem

Tesis Doctoral

dc.contributor.advisorPortillo Fernández, José Ramónes
dc.creatorJesus Rodrigues, José Inácio dees
dc.date.accessioned2015-04-16T09:25:20Z
dc.date.available2015-04-16T09:25:20Z
dc.date.issued2009es
dc.identifier.citationJesus 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.urihttp://hdl.handle.net/11441/24329
dc.description.abstractLa 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.formatapplication/pdfes
dc.language.isospaes
dc.rightsAtribución-NoComercial-SinDerivadas 4.0 España
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/es
dc.subjectComputaciónes
dc.titleSobre algunas clases polinomiales de satisfacibilidad : Aplicaciones a la resolución de problemas geométricoses
dc.typeinfo:eu-repo/semantics/doctoralThesises
dcterms.identifierhttps://ror.org/03yxnpp24
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Matemática Aplicada I (ETSII)es
idus.format.extent184 p.es
dc.identifier.idushttps://idus.us.es/xmlui/handle/11441/24329

FicherosTamañoFormatoVerDescripción
O_Tesis-PROV34.pdf3.026MbIcon   [PDF] Ver/Abrir  

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Atribución-NoComercial-SinDerivadas 4.0 España
Excepto si se señala otra cosa, la licencia del ítem se describe como: Atribución-NoComercial-SinDerivadas 4.0 España