[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Lonsing:
"Tutorial at IJCAI 2016: Solving (Problems with) Quantified Boolean Formulas: Recent Trends and Challenges";
Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 09.07.2016 - 15.07.2016.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.