Title: Comparing different prenexing strategies for quantified boolean formulas
Language: English
Authors: Zolda, Michael
Qualification level: Diploma
Advisor: Egly, Uwe
Issue Date: 2004
Number of Pages: 109
Qualification level: Diploma
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-9643
http://hdl.handle.net/20.500.12708/9582
Library ID: AC04428855
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

Show full item record

Page view(s)

14
checked on May 12, 2021

Download(s)

107
checked on May 12, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.