The Sparsification Lemma for CNF Satisfiability

Scriptie/Masterproef: Master

Samenvatting

Datum prijs7 jul 2020
Originele taalEngels
BegeleiderNikhil Bansal (Afstudeerdocent 1), Bart M.P. Jansen (Afstudeerdocent 2) & Jesper Nederlof (Afstudeerdocent 2)

Citeer dit

'