15. July 2019

An optimization-based sum-of-squares approach to Vizing's conjecture