David G. Harris, Aravind Srinivasan: Algorithmic and enumerative aspects of the Moser-Tardos distribution. CoRR abs/1507.02674 (2015)