[Back]


Talks and Poster Presentations (without Proceedings-Entry):
F. Lonsing:
"Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination";
Talk: PUMA/RiSE Workshop, Bad Griesbach, Germany; 2015-10-19 - 2015-10-23.

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

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