Comparing Different Prenexing Strategies for Quantified Boolean Formulas

Michael Zolda

    Research output: ThesisMaster's Thesis

    253 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

    Cite this