An Embarrassingly Parallel Model Counter.

Zhenghang Xu, Minghao Yin, Jean-Marie Lagniez

Browse the full KR paper archive.