[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Lonsing:
"An Introduction to QBF Solving";
Vortrag: The Second Indian SAT+SMT School, Mysuru, India (eingeladen); 06.12.2017 - 08.12.2017.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.