• Einbetten

Kapitel:

00:02:06
Boolean constraint propagation
00:08:56
DPLL Algorithm
00:13:35
Watched literals
00:28:20
Conflict resolution & backtracking
01:06:39
CDCL Algorithm
01:17:48
Unsatisfiable core
01:22:40
Termination proof (1)