[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Lonsing:
"Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination";
Vortrag: PUMA/RiSE Workshop, Bad Griesbach, Germany; 19.10.2015 - 23.10.2015.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.