Universal Algebra seminar

Ross Willard, Department of Pure Mathematics, University of Waterloo

“Adding Gaussian elimination to local consistency checking - 4”

In this fourth of several lectures, I analyze singular pairs of variables, realizing their singu- larity in the congruence lattice of their associated constraint relation.