Klas Markström, Video: Random k-sat. A review and some new results.
Klas Markström, Video: Random k-sat. A review and some new results.
Klas Markström, Random k-sat. A review and some new results., Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video