Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/R7AM5.html 2025-03-07T21:42:01Z 2023-05-28T16:52:48Z The silent (r)evolution of SAT.
  • 2023‑05‑28 - The silent (r)evolution of SAT.
  • https://cacm.acm.org/magazines/2023/6/273222-the-silent-revolution-of-sat/fulltext
  • redirect https://dotat.at/:/R7AM5
  • blurb https://dotat.at/:/R7AM5.html
  • atom entry https://dotat.at/:/R7AM5.atom
  • web.archive.org archive.today
    • ]]>