There will be short pre-recorded videos for some of the lecture material. For best results these are best watched before the lecture, so check here before the lectures. Slides will also be posted here.
DAG
SAT
asymptotics
backtracking
cs3383 lecture
divide and conquer
dynamic multithreaded
dynamic programming
fork-join
greedy
horn-clause
huffman
longest common subsequence
memoization
mst
opencourseware
shortest path
topological sort