1 paper · 1 filter
Zhengjun Cao, Zhen Chen, Lihua Liu
We show that Nederlof's algorithm [Information Processing Letters, 118 (2017), 15-16] for constructing a proof that the number of subsets summing to a particular integer equals a c…