Ross Willard, Department of Pure Mathematics, University of Waterloo
“The local consistency algorithm and problems of bounded width”
As preparation for reading the paper ”Constraint satisfaction problems solvable by local consistency methods” by Barto and Kozik, I will explain the local consistency checking al- gorithm, define the class of bounded width constraint satisfaction problems, and present the bounded width conjecture.