The Sparsification Lemma for CNF Satisfiability

Student thesis: Master

Date of Award7 Jul 2020
Original languageEnglish
SupervisorNikhil Bansal (Supervisor 1), Bart M.P. Jansen (Supervisor 2) & Jesper Nederlof (Supervisor 2)

Cite this

'