@InCollection{zbMATH07246242,
Author = {Elisabeth {Gaar} and Angelika {Wiegele} and Daniel {Krenn} and Susan {Margulies}},
Title = {{An optimization-based sum-of-squares approach to Vizing's conjecture}},
BookTitle = {{Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019}},
ISBN = {978-1-4503-6084-5},
Pages = {155--162},
Year = {2019},
Publisher = {New York, NY: Association for Computing Machinery (ACM)},
Language = {English},
MSC2010 = {68W30 13P10 68R10 90C22},
Zbl = {1444.68303}
}