11. February 2021

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