[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Lonsing:
"Search-Based QBF Solving";
Vortrag: Advanced Winter School on Reasoning Engines for Rigorous System Engineering, Johannes Kepler University, Linz; 03.02.2014 - 07.02.2014.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.