[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
U. Egly:
"On sequent systems and resolution for quantified boolean formulas";
Vortrag: Dagstuhl Seminar 12471 - SAT Interactions, Dagstuhl, Deutschland (eingeladen); 18.11.2012 - 23.11.2012.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.