Hecher, M., Fichte, J., Le Berre, D., Szeider, S., & Laboratory, M. I. o. T. C. S. a. A. I. (2023). The Silent (R)evolution of SAT. ACM|Communications of the ACM.
Chicago Style (17th ed.) CitationHecher, Markus, Johannes Fichte, Daniel Le Berre, Stefan Szeider, and Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory. The Silent (R)evolution of SAT. ACM|Communications of the ACM, 2023.
MLA (9th ed.) CitationHecher, Markus, et al. The Silent (R)evolution of SAT. ACM|Communications of the ACM, 2023.
Warning: These citations may not always be 100% accurate.