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

EndNote

BibTeX

Reference Manager

Refer

Atom

Dublin Core

OpenURL ContextObject

MPEG-21 DIDL

ASCII Citation

MODS

Data Cite XML

OpenURL ContextObject in Span

RIOXX2 XML

METS

HTML Citation

Export

Downloads