Autor materiałów: dr hab. Piotr Faliszewski
Adres: https://faliszew.github.io/apto
Lab 1 - Algorytmy dokładne dla problemu VertexCover
Lab 2 - Algorytmy aproksymacyjne dla problemu VertexCover
Lab 3 - Problem SAT (część 1: podstawowe redukcje)