Zur Kurzanzeige

dc.identifier.uri http://dx.doi.org/10.15488/8858
dc.identifier.uri https://www.repo.uni-hannover.de/handle/123456789/8911
dc.contributor.advisor Vollmer, Heribert DE
dc.contributor.advisor Beyersdorff, Olaf DE
dc.contributor.author Schwerdtfeger, Konrad W. ger
dc.date.accessioned 2019-12-13T17:06:08Z
dc.date.available 2019-12-13T17:06:08Z
dc.date.issued 2016
dc.identifier.citation Schwerdtfeger, Konrad W.: Connectivity of Boolean satisfiability. Hannover : Gottfried Wilhelm Leibniz Universität Hannover, Diss., 2016, 74 S. ger
dc.description.abstract [no abstract] ger
dc.language.iso eng eng
dc.publisher Hannover : Gottfried Wilhelm Leibniz Universität Hannover
dc.rights Es gilt deutsches Urheberrecht. Das Dokument darf zum eigenen Gebrauch kostenfrei genutzt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden. ger
dc.subject Computational complexity eng
dc.subject Boolean satisfiability eng
dc.subject graph connectivity eng
dc.subject Boolean CSPs eng
dc.subject Boolean circuits eng
dc.subject Post's lattice eng
dc.subject dichotomy theorems eng
dc.subject Komplexität ger
dc.subject Erfüllbarkeit ger
dc.subject Zusammenhang in Graphen ger
dc.subject Boolesche CSPs ger
dc.subject Boolesche Schaltkreise ger
dc.subject Post'scher Verband ger
dc.subject Dichotomien ger
dc.subject.ddc 004 | Informatik ger
dc.title Connectivity of Boolean satisfiability eng
dc.type DoctoralThesis ger
dc.type Text ger
dc.relation.urn urn:nbn:de:gbv:089-8620879880
dc.bibliographicCitation.firstPage 74 S.
dcterms.extent 74 S.
dc.description.version publishedVersion ger
tib.accessRights frei zug�nglich ger


Thumbnail
Name: 862087988.pdf
Größe: 837.1Kb
Format: PDF
Öffnen

Die Publikation erscheint in Sammlung(en):

Zur Kurzanzeige

 

Suche im Repositorium


Durchblättern

Mein Nutzer/innenkonto

Nutzungsstatistiken