U. Egly:
"Deduction Concepts for Quantified Boolean Formulas";
Talk: Advanced Winter School on Reasoning Engines for Rigorous System Engineering, Johannes Kepler University, Linz (invited); 2014-02-03 - 2014-02-07.
Project Head Uwe Egly:
Quantified Boolean Formulas