Closing the Gap Between Short and Long XORs for Model Counting. - Zhao, Shengjia; Chaturapruek, Sorathan; Sabharwal, Ashish; Ermon, Stefano (2016)