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,
S. Margherita Ligure - Portofino ( Italy);
2003-05-05
- 2003-05-08; in: " Proceedings of the 6th International Conference on the Theory and Applications of Satisfiability Testing (SAT-03)",
J. Franco et al. (ed.);
Springer,
(2003),
ISBN: 3-540-20851-8;
370
- 378.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404572
Created from the Publication Database of the Vienna University of Technology.