Talks and Poster Presentations (without Proceedings-Entry):
U. Egly:
"Solving quantified Boolean formula";
Talk: Journées ANR BOOLE,
Marseille, Frankreich (invited);
2013-01-14
- 2013-01-15.
Created from the Publication Database of the Vienna University of Technology.