Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Technische Universität Graz Home
English
Deutsch
Home
Personen
Veröffentlichungen
Forschungsgruppen
Projekte
Aktivitäten
Auszeichnungen
Presseberichte
Nach Expertise, Namen oder Zugehörigkeit suchen
Second International Workshop on Quantified Boolean Formulas
Robert Könighofer (Redner/in)
Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)
Aktivität
:
Vortrag oder Präsentation
›
Gastvortrag
›
Science to science
Beschreibung
Talk: Reactive Synthesis using (Incremental) QBF Solving
Zeitraum
13 Jul 2014
Ereignistitel
Second International Workshop on Quantified Boolean Formulas
Veranstaltungstyp
Workshop