DC Element
Wert
Sprache
dc.contributor.advisor
Veith, Helmut
-
dc.contributor.author
Oberhofer, Jürgen
-
dc.date.accessioned
2023-06-19T06:47:13Z
-
dc.date.issued
2003
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Oberhofer, J. (2003). <i>The architecture of SAT solvers and their applicability to NP-complete problems</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183653</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/183653
-
dc.description
Zsfassung in dt. Sprache
-
dc.language
English
-
dc.language.iso
en
-
dc.title
The architecture of SAT solvers and their applicability to NP-complete problems
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Schallhart, Christian
-
tuw.publication.orgunit
E184 - Institut für Informationssysteme
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC03951314
-
dc.description.numberOfPages
101
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
tuw.advisor.staffStatus
staff
-
tuw.assistant.staffStatus
exstaff
-
item.languageiso639-1
en
-
item.openairetype
master thesis
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
crisitem.author.dept
E184 - Institut für Informationssysteme
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
Enthalten in den Sammlungen:
Thesis
Zur Kurzanzeige

Seiten Aufrufe

76
aufgerufen am 01.12.2023

Google ScholarTM

Check