Talks and Poster Presentations (without Proceedings-Entry):
U. Egly:
"Beyond DP: Alternative Calculi for QBF Solving";
Talk: QBF-symposium,
Paris, France (invited);
2003-11-21.
Created from the Publication Database of the Vienna University of Technology.