Talks and Poster Presentations (with Proceedings-Entry):

U. Egly, M. Seidl, H. Tompits, S. Woltran, M. Zolda:
"Comparing Different Prenexing Strategies for Quantified Boolean Formulas";
Talk: International Conference on the Theory and Applications of Satisfiability Testing, Santa Margherita Ligure, Italy; 2003-05-05 - 2003-05-08; in: "Theory and Application of Satisfiability. Selected Revised Papers.", E. Giunchiglia, A. Tacchella (ed.); Springer, LNCS 2919 (2004), ISBN: 3-540-20851-8; 214 - 228.

Online library catalogue of the TU Vienna:

Created from the Publication Database of the Vienna University of Technology.