[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Lonsing:
"An Overview of QBF Reasoning Techniques";
Vortrag: Dagstuhl Seminar 16381: SAT and Interactions, Schloss Dagstuhl - Leibniz Zentrum für Informatik (eingeladen); 18.09.2016 - 23.09.2016.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.