Slivovsky, Friedrich

5 publications

AAAI 2024 Hardness of Random Reordered Encodings of Parity for Resolution and CDCL Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider

AAAI 2023 Circuit Minimization with QBF-Based Exact Synthesis Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

JAIR 2022 Sum-of-Products with Default Values: Algorithms and Complexity Results Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider

JAIR 2019 Dependency Learning for QBF Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

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