The Decimation Process in Random k-SAT

From MaRDI portal
Publication:3012815