[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Lonsing:
"Incremental QBF Solving";
Vortrag: Alpine Verification Meeting, Frejus, Frankreich; 12.05.2014 - 14.05.2014.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.