A3.A — Counting solutions to random CNF formulas

ICALP 2020