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

RIOXX2 XML

OpenURL ContextObject in Span

MODS

METS

Data Cite XML

MPEG-21 DIDL

OpenURL ContextObject

HTML Citation

ASCII Citation

Export

Downloads