02. April 2019

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