Week 4 (Oct 18-22)
Section outline
-
-
English lecture
- Program: SAT solvers, Horn-SAT, unit propagation. Theories, semantic notions, consequences. Lindenbaum-Tarski Algebra
English tutorial
- Program: Converting formulas to CNF and DNF, 3-SAT, 2-SAT, implication graph. Horn-SAT, unit propagation. Encoding problems in SAT.
České cvičení
- Program: Normální formy, CNF a DNF, SAT, 3-SAT, 2-SAT a implikační algoritmus, Horn-SAT a jednotková propagace.
-
English lecture: Zoom recording (Fall 2021) Файл
-
English lecture: Zoom recording (Fall 2020) Файл
-
English Tutorial: Zoom recording Файл
-
České cvičení: Zoom záznam Файл
-