@misc{indiciae8d48f025eb06, title = {Probabilistic Model Counting with Short XORs}, author = {Dimitris Achlioptas and Panos Theodoropoulos}, year = {2017}, url = {https://arxiv.org/abs/1707.09467}, note = {Source identifier: 1707.09467} }