Talks and Poster Presentations (without Proceedings-Entry):
F. Lonsing:
"Parallel QBF Solving: State of the Art Techniques and Future Perspectives";
Talk: First Workshop on Parallel Constraint Reasoning,
Gothenburg, Sweden (invited);
2017-08-06.
Related Projects:
Project Head Uwe Egly: Quantified Boolean Formulas