Scalable Precise Computation of Shannon Entropy.

Yong Lai, Haolong Tong, Zhenghang Xu, Minghao Yin

Browse the full SAT paper archive.