Fingerprint
Dive into the research topics of 'Comparing Different Prenexing Strategies for Quantified Boolean Formulas'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Comparing Different Prenexing Strategies for Quantified Boolean Formulas
Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, M. Zolda
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
31
Citations
(Scopus)