Johannes Klaus Fichte
Associate Professor
Publications
Johannes K. Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak
(2023)
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF
2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS
Continue to DOI
Johannes Klaus Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider
(2023)
The Silent (R)evolution of SAT
Communications of the ACM, Vol. 66, p. 64-72
Continue to DOI