@article{FichteLeberreHecherSzeider23,
 author = {Johannes K. Fichte and Daniel Le Berre and Markus
Hecher and Stefan Szeider},
 doi = {10.1145/3560469},
 journal = {Communications of the ACM},
 month = {June},
 number = {6},
 pages = { 64--72},
 title = {The Silent (R)evolution of {SAT}},
 volume = {66},
 year = {2023}
}