27. January 2019

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