Search for tag: "valuation"

CL - 12d - Counting

In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.

From  Haoran Peng 0 likes 309 plays 0  

CL - 12c - chains

In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.

From  Haoran Peng 0 likes 283 plays 0  

CL - 12b - Binary Constraints

In this video we focus on binary constraints: clauses with two literals. A 2-SAT problem is a conjunction of binary constraints. We will represent it as a partial ordering on literals.In this video…

From  Haoran Peng 0 likes 273 plays 0  

CL - 9c - DPLL II

We return to the example introduced in the previous video, and begin to represent the problem in Haskell.

From  Haoran Peng 0 likes 262 plays 0  

CL - 8e - DPLL I

This video introduces the key idea behind the DLPP algorithm. If we decide to make some literal true, we may reduce the problem to a simpler problem. We will build our DPLL algorithm by using this…

From  Haoran Peng 0 likes 318 plays 0  

Welcome

Welcome - Week 1

From  Calum Macphail 0 likes 36 plays 0  

Confusion Matrix

Confusion Matrix - Week 1

From  Calum Macphail 0 likes 131 plays 0