@misc{indiciae811c3bebbea1,
  title = {Enumerating k-SAT functions},
  author = {Dingding Dong and Nitya Mani and Yufei Zhao},
  year = {2022},
  url = {https://arxiv.org/abs/2107.09233},
  note = {Source identifier: 2107.09233}
}