Friedrich Slivovsky

Recent Publications

eSLIM: Circuit Minimization with SAT Based Local Improvement
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (Chakraborty, Supratik and Jiang, Jie-Hong Roland), volume 305 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1-23:14, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
bib Project DOI
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
Leroy Chew, Alexis De Colnet, Friedrich Slivovsky, Stefan Szeider
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 7978-7986, 2024, AAAI Press.
PDF bib Project Project DOI
Improved Circuit Minimization with Exact Synthesis
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
2024, Technical report AC-TR-24-001, Algorithms and Complexity Group, TU Wien.
PDF bib
Circuit Minimization with Exact Synthesis: From QBF Back to SAT
Franz{-}Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Proceedings of the 32nd International Workshop on Logic & Synthesis (IWLS), 2023.
bib
Circuit Minimization with QBF-Based Exact Synthesis
Franz{-}Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023 (Brian Williams and Yiling Chen and Jennifer Neville), pages 4087-4094, 2023, AAAI Press.
PDF bib Project Project Project DOI