Skip to main navigation Skip to search Skip to main content

Comparing Different Prenexing Strategies for Quantified Boolean Formulas

  • Michael Zolda

    Research output: Thesis › Master's Thesis

    286 Downloads (Pure)
    Original languageEnglish
    Awarding Institution
    • Vienna University of Technology
    Supervisors/Advisors
    • Egly, U., Supervisor, External person
    • Woltran, S., Advisor, External person
    Publication statusPublished - 2005

    Access to Document

      Cite this