TY  - RPRT
TI  - Enumerating k-SAT functions
AU  - Dingding Dong
AU  - Nitya Mani
AU  - Yufei Zhao
PY  - 2022
UR  - https://arxiv.org/abs/2107.09233
ID  - 2107.09233
ER  -