The Sparsification Lemma for CNF Satisfiability

  • Sjanne Zeijlemaker

Scriptie/Masterproef: Master

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

Citeer dit

Documenten

'