16. December 2019

Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares