Zhao S, Chaturapruek S, Sabharwal A, Ermon S. Closing the Gap Between Short and Long XORs for Model Counting. AAAI [Internet]. 2016Mar.5 [cited 2024May15];30(1). Available from: https://ojs.aaai.org/index.php/AAAI/article/view/10430