Zwei unserer Paper wurden auf der IJCAR 2024 (International Joint Conference on Automated Reasoning) in Nancy, Frankreich, akzeptiert. Die Konferenz findet von 01. - 06. Juli 2024 statt.

Maximilian Heisinger, Simone Heisinger und Martina Seidl: "Booleguru, the Propositional Polyglot" link.springer.com/chapter/10.1007/978-3-031-63498-7_19, öffnet eine externe URL in einem neuen Fenster

Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo und Martina Seidl: "Quantifier Shifting for Quantified Boolean Formulas Revisited" general-public-talks.pages.sai.jku.at/ijcar-2024/ncf-full.pdf, öffnet eine externe URL in einem neuen Fenster

Homepage der Konferenz: https://merz.gitlabpages.inria.fr/2024-ijcar/, öffnet eine externe URL in einem neuen Fenster