@misc{indiciaedb9456a0e3e9, title = {Towards a Computational Proof of Vizing's Conjecture using Semidefinite Programming and Sums-of-Squares}, author = {Elisabeth Gaar and Daniel Krenn and Susan Margulies and Angelika Wiegele}, year = {2020}, doi = {10.1016/j.jsc.2021.01.003}, url = {https://arxiv.org/abs/2003.04021}, note = {Source identifier: 2003.04021} }