Talks and Poster Presentations (without Proceedings-Entry):
F. Lonsing:
"Search-Based QBF Solving";
Talk: Advanced Winter School on Reasoning Engines for Rigorous System Engineering,
Johannes Kepler University, Linz;
2014-02-03
- 2014-02-07.
Related Projects:
Project Head Uwe Egly: Quantified Boolean Formulas