Talks and Poster Presentations (without Proceedings-Entry):
F. Lonsing:
"Advances in QBF Reasoning";
Talk: SAT/SMT/AR Summer School 2016,
Lissabon, Portugal (invited);
2016-06-22
- 2016-06-25.
Created from the Publication Database of the Vienna University of Technology.