Franz-Xaver Reichl

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

Collaborative distances:

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

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