TY  - RPRT
TI  - Probabilistic Model Counting with Short XORs
AU  - Dimitris Achlioptas
AU  - Panos Theodoropoulos
PY  - 2017
UR  - https://arxiv.org/abs/1707.09467
ID  - 1707.09467
ER  -