Comparing Different Prenexing Strategies for Quantified Boolean Formulas

Michael Zolda

    Research output: Thesis › Master's Thesis

    274 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