Constraint Satisfaction and Universal Algebra learning seminar
Alex Wires, Department of Pure Mathematics, University of Waterloo
“A Smooth Proof of the Smooth Theorem”
Bang-Jensen and Hell conjectured in 1990 that CSP Dichotomy holds for finite digraphs with no sources or sinks.