TY  - RPRT
TI  - A Model of Random Industrial SAT
AU  - Dina Barak-Pelleg
AU  - Daniel Berend
AU  - J. C. Saunders
PY  - 2022
UR  - https://arxiv.org/abs/1908.00089
ID  - 1908.00089
ER  -