Enumerating k-SAT functions.

Dingding Dong, Nitya Mani, Yufei Zhao

Browse the full SODA paper archive.