David G. Harris 0001 Aravind Srinivasan Algorithmic and Enumerative Aspects of the Moser-Tardos Distribution. 2004-2023 2016 SODA https://doi.org/10.1137/1.9781611974331.ch140 http://dl.acm.org/citation.cfm?id=2884575 conf/soda/2016 db/conf/soda/soda2016.html#HarrisS16