Go to JKU Homepage
Institute for Symbolic Artificial Intelligence
What's that?

Institutes, schools, other departments, and programs create their own web content and menus.

To help you better navigate the site, see here where you are at the moment.

Detail

IJCAR 2024

Fahrradständer vor dem Science Park 3 am JKU Campus

Two of our papers had been accepted at the IJCAR 2024 (International Joint Conference on Automated Reasoning), in Nancy, France. The conference will take place from 01. - 06. July 2024.

Maximilian Heisinger, Simone Heisinger and Martina Seidl: "Booleguru, the Propositional Polyglot" link.springer.com/chapter/10.1007/978-3-031-63498-7_19, opens an external URL in a new window

Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo and Martina Seidl: "Quantifier Shifting for Quantified Boolean Formulas Revisited" general-public-talks.pages.sai.jku.at/ijcar-2024/ncf-full.pdf, opens an external URL in a new window

Homepage of the conference: https://merz.gitlabpages.inria.fr/2024-ijcar/, opens an external URL in a new window