Talks and Poster Presentations (without Proceedings-Entry):
F. Lonsing:
"An Overview of QBF Reasoning Techniques";
Talk: Dagstuhl Seminar 16381: SAT and Interactions,
Schloss Dagstuhl - Leibniz Zentrum für Informatik (invited);
2016-09-18
- 2016-09-23.
Related Projects:
Project Head Uwe Egly: Quantified Boolean Formulas