People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Franz-Xaver Reichl and Friedrich Slivovsky
Recent Publications
Pedant: A Certifying DQBF Solver
2022
Cite
×