Record link: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-9643
http://hdl.handle.net/20.500.12708/9582
-
Title: 
Comparing different prenexing strategies for quantified boolean formulas
en
Citation: 
Zolda, M. (2004). Comparing different prenexing strategies for quantified boolean formulas [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-9643
-
CatalogPlus: 
AC04428855
-
Publication Type: 
Thesis - Diplomarbeit
en
Language: 
English
-
Authors: 
Zolda, Michael 
-
Advisor: 
Egly, Uwe 
-
Organisational Unit: 
E184 - Institut für Informationssysteme 
-
Date (published): 
2004
-
Number of Pages: 
109
-
Additional information: 
Zsfassung in dt. Sprache
-
License: 
In Copyright
de
Appears in Collections:
Thesis

Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(1.37 MB)
Open Access In Copyright
Show full item record

Page view(s)

265
checked on Nov 21, 2023

Download(s)

266
checked on Nov 21, 2023

Google ScholarTM

Check