Tuesday, November 11, 2014 10:30 am
-
10:30 am
EST (GMT -05:00)
Ross Willard, Pure Mathematics, University of Waterloo
"Adding Gaussian elimination to local consistency checking - 5"
In
this
fifth
of
several
lectures,
I
continue
the
analysis
of
singular
pairs
of
variables,
studying
their
effect
on
the
congruence
lattice
of
their
associated
constraint
relation.