Comparing Different Prenexing Strategies for Quantified Boolean Formulas

Zolda, Michael, Egly, U. and Woltran, S. (2005) Comparing Different Prenexing Strategies for Quantified Boolean Formulas. Masters thesis, Vienna University of Technology.
Copy
Item Type Thesis (Masters)
Date Deposited 15 May 2025 16:52
Last Modified 30 May 2025 23:21

Explore Further

picture_as_pdf
20120413_1042.pdf
subject
Submitted Version
View Download

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

Downloads