Comparing Different Prenexing Strategies for Quantified Boolean Formulas

Zolda, Michael, Egly, U. and Woltran, S. (2026) Comparing Different Prenexing Strategies for Quantified Boolean Formulas. Masters thesis, Vienna University of Technology.
Copy
Item Type Thesis (Masters)
Identification Number 10.18745/00014589
Date Deposited 15 May 2025 16:52
Last Modified 06 Aug 2026 23:03

Explore Further

picture_as_pdf
20120413_1042.pdf
subject
Submitted Version
View Download

EndNote BibTeX Reference Manager Refer Atom Dublin Core HTML Citation RIOXX2 XML OpenURL ContextObject OpenURL ContextObject in Span MPEG-21 DIDL ASCII Citation Data Cite XML METS MODS OPENAIRE
Export

Downloads