Franz-Xaver Reichl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAT | eSLIM: Circuit Minimization with SAT Based Local Improvement. | Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider |
| 2023 | AAAI | Circuit Minimization with QBF-Based Exact Synthesis. | Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider |
| 2022 | SAT | Pedant: A Certifying DQBF Solver. | Franz-Xaver Reichl, Friedrich Slivovsky |
| 2021 | SAT | Certified DQBF Solving by Definition Extraction. | Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider |