Certified DQBF Solving by Definition Extraction. - Franz-Xaver Reichl; Friedrich Slivovsky; Stefan Szeider (SAT, 2021)

First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. - Wolfgang Schreiner; Franz-Xaver Reichl (SCSS, 2021)

Pedant: A Certifying DQBF Solver. - Franz-Xaver Reichl; Friedrich Slivovsky (SAT, 2022)

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

eSLIM: Circuit Minimization with SAT Based Local Improvement. - Franz-Xaver Reichl; Friedrich Slivovsky; Stefan Szeider (SAT, 2024)

eSLIM. - Franz-Xaver Reichl; Friedrich Slivovsky; Stefan Szeider (DROPS Artifacts, 2024)