Local Colouring and Constraint Solving

Nov-Dec 2019 – Ander Holroyd (UW)