Ian Payne, Department of Pure Mathematics, University of Waterloo
“A CSP algorithm and some work towards a better one”
I will talk about a CSP algorithm that works when each potato has a special congruence. That is, the quotient by it is a semilattice, and each block of it is Maltsev (plus a bit more). After that, I’ll talk about some effort to weaken the word semilattice in the previous sentence.
MC 5479