Franz-Xaver Reichl and Friedrich Slivovsky

Recent Publications

Pedant: A Certifying DQBF Solver

2022