Closing the Gap Between Short and Long XORs for Model Counting.

Shengjia Zhao, Sorathan Chaturapruek, Ashish Sabharwal, Stefano Ermon

Browse the full AAAI paper archive.