Dingding Dong, Nitya Mani, Yufei Zhao. Enumerating k-SAT functions. In Joseph (Seffi) Naor, Niv Buchbinder, editors, Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, SODA 2022, Virtual Conference / Alexandria, VA, USA, January 9 - 12, 2022. pages 2141-2184, SIAM, 2022. [doi]
@inproceedings{DongMZ22,
title = {Enumerating k-SAT functions},
author = {Dingding Dong and Nitya Mani and Yufei Zhao},
year = {2022},
doi = {10.1137/1.9781611977073.85},
url = {https://doi.org/10.1137/1.9781611977073.85},
researchr = {https://researchr.org/publication/DongMZ22},
cites = {0},
citedby = {0},
pages = {2141-2184},
booktitle = {Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, SODA 2022, Virtual Conference / Alexandria, VA, USA, January 9 - 12, 2022},
editor = {Joseph (Seffi) Naor and Niv Buchbinder},
publisher = {SIAM},
isbn = {978-1-61197-707-3},
}