[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Lonsing:
"Evaluating QBF Solvers: Quantifier Alternations Matter";
Vortrag: Alpine Verification Meeting, Visegrad, Hungary; 18.09.2017 - 21.09.2017.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.