Enumerating k-SAT functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dingding Dong' in GoogleThis author has not been identified. Look up 'Nitya Mani' in GoogleThis author has not been identified. Look up 'Yufei Zhao' in Google

runs on WebDSL