The Path-Consistency Procedure and Majority Polymorphisms

Video session 4 for the course "Graph Homomorphisms and Universal Algebra". Topics: the path consistency procedure, majority operations, majority polymorphisms, a result of Feder and Vardi, finding majority polymorphisms in polynomial time.