[Back]


Talks and Poster Presentations (without Proceedings-Entry):
F. Lonsing:
"Search-based QBF Solving: Basics, Recent Trends and Challenges";
Talk: JST ERATO Minato Discrete Strucure Manipulation System Project Seminar, Hokkaido University, Sapporo (invited); 2013-10-08.

Created from the Publication Database of the Vienna University of Technology.