Talks and Poster Presentations (without Proceedings-Entry):
U. Egly:
"On sequent systems and resolution for quantified boolean formulas";
Talk: Dagstuhl Seminar 12471 - SAT Interactions,
Dagstuhl, Deutschland (invited);
2012-11-18
- 2012-11-23.
Related Projects:
Project Head Uwe Egly: Quantified Boolean Formulas