The Silent (R)evolution of SAT

Abstract

Full Citation:

Johannes K. Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider. The Silent (R)evolution of SAT. Communications of the ACM, volume 66, number 6, pages 64–72, June 2023.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.