October 2023 - Vol. 66 No. 10

October 2023 CACM cover

Features

Opinion

Barbershop Computing

Moving education beyond computer science pipelines.
Research

Generating and Exploiting Automated Reasoning Proof Certificates

Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.

Recent Issues

  1. June 2024 Vol. 67 No. 6
  2. May 2024 CACM cover
    May 2024 Vol. 67 No. 5
  3. April 2024 CACM cover with text
    April 2024 Vol. 67 No. 4
  4. March 2024 CACM cover
    March 2024 Vol. 67 No. 3