Constraint Satisfaction Problems: Exploiting problem structure
26:15
Logic in AI : Different Knowledge Representation systems - Part 1
19:46
Constraint Satisfaction Problems: Variable and Value Ordering in Backtracking Search
15:41
Constraint Satisfaction Problems: Map coloring and other examples of CSP
25:06
Constraint Satisfaction Problems: Inference for detecting failures early
15:19
Constraint Satisfaction Problems: Representation of the atomic state
25:22
Logic in AI : SAT Solvers : DPLL Algorithm - Part - 7
30:01
Logic in AI : Reduction to Satisfiability Problems - Part - 6
17:16