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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968502
Created from the Publication Database of the Vienna University of Technology.