Franz-Xaver Reichl

According to our database, Franz-Xaver Reichl authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

eSLIM.

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

Dataset, November, 2024

eSLIM: Circuit Minimization with SAT Based Local Improvement.

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2023

Circuit Minimization with QBF-Based Exact Synthesis.

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Pedant: A Certifying DQBF Solver.

Franz-Xaver Reichl, Friedrich Slivovsky

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

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, 2021

Certified DQBF Solving by Definition Extraction.

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021