original publication

Vorobyev posts random 3-SAT 4.268 threshold upper-bound preprint

Original sources

Open artifact View JSON