TY  - RPRT
TI  - Closing the Gap Between Short and Long XORs for Model Counting
AU  - Shengjia Zhao
AU  - Sorathan Chaturapruek
AU  - Ashish Sabharwal
AU  - Stefano Ermon
PY  - 2016
UR  - https://arxiv.org/abs/1512.08863
ID  - 1512.08863
ER  -