Text this: Moser--Tardos resampling algorithm, entropy compression method and the subset gas.