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)
Identification Number	10.18745/00014589
Date Deposited	15 May 2025 16:52
Last Modified	19 Nov 2025 01:07

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

Data Cite XML

EndNote

HTML Citation

METS

MODS

RIOXX2 XML

Reference Manager

Refer

ASCII Citation

Export

Downloads