[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Lonsing:
"Submissions to QBFEVAL'16";
Vortrag: 4th International Workshop on Quantified Boolean Formulas (QBF 2016), Bordeaux, France; 04.07.2016.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.