Looking at the ACM page of the MIT Computer Science & Artificial Intelligence Laboratory, the first article (at the time of writing) in the Downloads section is
Johannes K. Fichte, Daniel Le Berre, Markus Hecher, and Stefan Szeider. The Silent (R)evolution of SAT. Commun. ACM 66, 6 (June 2023), 64–72.