The Silent (R)evolution of SAT

Johannes K. Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider
June 2023
Cite DOI
Type
Journal Article
Stefan Szeider
Stefan Szeider
Head of Research Unit

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