02. Vorlesung (28.04.2020): Verzweigungsalgorithmus für k-SAT
Requisits de compleció
Feu clic en l'enllaç exa-ss20-vl02-branching+sat.pdf per veure el fitxer.