15. January 2021

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