Mengel, Stefan

10 publications

AAAI 2025 Sum of Squares Circuits Lorenzo Loconte, Stefan Mengel, Antonio Vergari

ECML-PKDD 2024 Learning Model Agnostic Explanations via Constraint Programming Frédéric Koriche, Jean-Marie Lagniez, Stefan Mengel, Chi Tran

ICLR 2024 Subtractive Mixture Models via Squaring: Representation and Learning Lorenzo Loconte, Aleksanteri Mikulus Sladek, Stefan Mengel, Martin Trapp, Arno Solin, Nicolas Gillis, Antonio Vergari

JAIR 2023 Characterizing Tseitin-Formulas with Short Regular Resolution Refutations Alexis de Colnet, Stefan Mengel

AAAI 2022 Lower Bounds on Intermediate Results in Bottom-up Knowledge Compilation Alexis de Colnet, Stefan Mengel

IJCAI 2020 Lower Bounds for Approximate Knowledge Compilation Alexis de Colnet, Stefan Mengel

IJCAI 2020 On Irrelevant Literals in Pseudo-Boolean Constraint Learning Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

JAIR 2020 Revisiting Graph Width Measures for CNF-Encodings Romain Wallon, Stefan Mengel

IJCAI 2018 Pseudo-Boolean Constraints from a Knowledge Representation Perspective Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

IJCAI 2016 Knowledge Compilation Meets Communication Complexity Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky