Franz-Xaver Reichl

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Analog Circuits

Davis Putnam Logemann Loveland

Quantified Boolean Formulae

Guarded Fragment

Top Venues

Publications

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
eSLIM: Circuit Minimization with SAT Based Local Improvement. SAT (2024)
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Circuit Minimization with QBF-Based Exact Synthesis. AAAI (2023)
Franz-Xaver Reichl, Friedrich Slivovsky
Pedant: A Certifying DQBF Solver. SAT (2022)
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Certified DQBF Solving by Definition Extraction. SAT (2021)
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Certified DQBF Solving by Definition Extraction. CoRR (2021)
Wolfgang Schreiner, Franz-Xaver Reichl
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. SCSS (2021)