All Stories

  1. The Silent (R)evolution of SAT

    Article • Communications of the ACM, May 2023, ACM (Association for Computing Machinery)

    Markus Hecher