Name Card

Full name Familienname, Vorname

Reichl, Franz Xaver

Main Affiliation Organisationszuordnung

E192-01 - Forschungsbereich Algorithms and Complexity

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Reichl, Franz-Xaver ; Slivovsky, Friedrich ; Szeider, Stefan	Circuit Minimization with QBF-Based Exact Synthesis	Inproceedings Konferenzbeitrag	2023
	2		Reichl, Franz Xaver ; Slivovsky, Friedrich ; Szeider, Stefan	Circuit Minimization with Exact Synthesis: From QBF Back to SAT	Inproceedings Konferenzbeitrag	2023
	3		Reichl, Franz Xaver ; Slivovsky, Friedrich	Pedant: A Certifying DQBF Solver	Inproceedings Konferenzbeitrag	28-Jul-2022
	4		Schreiner, Wolfgang ; Reichl, Franz-Xaver	First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving	Konferenzbeitrag Inproceedings	2021
	5		Reichl, Franz-Xaver ; Slivovsky, Friedrich ; Szeider, Stefan	Certified DQBF Solving by Definition Extraction	Konferenzbeitrag Inproceedings	2021