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.