Dingding Dong

According to our database, Dingding Dong authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Random Local Access for Sampling k-SAT Solutions.

Dingding Dong, Nitya Mani

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

2023

On the number of error correcting codes.

Dingding Dong, Nitya Mani, Yufei Zhao

Comb. Probab. Comput., September, 2023

Nearly All k-SAT Functions Are Unate.

József Balogh, Dingding Dong, Bernard Lidický, Nitya Mani, Yufei Zhao

Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

2022

Enumerating k-SAT functions.

Dingding Dong, Nitya Mani, Yufei Zhao

Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, 2022

2021

On induced subgraphs of the Hamming graph.

Dingding Dong

J. Graph Theory, 2021