Zur JKU Startseite
Institut für Symbolic Artificial Intelligence
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

Detail

TACAS 2023

Unser Tool Paper "ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving" wurde bei TACAS 2023 (29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems) in Paris akzeptiert! Die Konferenz findet von 22. bis 27. April in Paris statt, wo wir unsere Arbeit vorstellen werden. Die Website der Konferenz ist https://etaps.org/2023/tacas, öffnet eine externe URL in einem neuen Fenster, wo in naher Zukunft das vollständige Konferenzprogramm veröffentlicht wird. Diese Forschung baut auf Max Heisingers Masterarbeit über Paracooba auf, die zuletzt den Adolf-Adam-Preis gewann.