Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Lonsing:
"Parallel QBF Solving: State of the Art Techniques and Future Perspectives";
Vortrag: First Workshop on Parallel Constraint Reasoning,
Gothenburg, Sweden (eingeladen);
06.08.2017.