The Moser-Tardos Framework with Partial Resampling | IEEE Conference Publication | IEEE Xplore