Franz{-}Xaver Reichl

Recent Publications

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
Pedant: A Certifying DQBF Solver
Franz{-}Xaver Reichl, Friedrich Slivovsky
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel and Ofer Strichman), volume 236 of LIPIcs, pages 20:1-20:10, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib DOI
Certified DQBF Solving by Definition Extraction
Franz{-}Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Chu-Min Li and Felip Many`a), volume 12831 of Lecture Notes in Computer Science, pages 499-517, 2021, Springer.
PDF bib Project DOI
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving
Wolfgang Schreiner, Franz{-}Xaver Reichl
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021 (Temur Kutsia), volume 342 of EPTCS, pages 99-113, 2021.
PDF bib DOI