@misc{indiciae88ecafaa63c5,
  title = {A Model of Random Industrial SAT},
  author = {Dina Barak-Pelleg and Daniel Berend and J. C. Saunders},
  year = {2022},
  url = {https://arxiv.org/abs/1908.00089},
  note = {Source identifier: 1908.00089}
}