Bibliographic Metadata

Title
Comparing different prenexing strategies for quantified boolean formulas / Michael Zolda
AuthorZolda, Michael
CensorEgly, Uwe
Published2004
DescriptionXIV, 109 S. : graph. Darst.
Institutional NoteWien, Techn. Univ., Dipl.-Arb., 2005
Annotation
Zsfassung in dt. Sprache
LanguageEnglish
Bibl. ReferenceOeBB
Document typeThesis (Diplom)
URNurn:nbn:at:at-ubtuw:1-9643 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
Comparing different prenexing strategies for quantified boolean formulas [1.33 mb]
Links
Reference
Classification
Stats
The PDF-Document has been downloaded 30 times.