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