Cite
MLA Citation
Elisabeth Gaar et al.. “Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares.” Journal of symbolic computation, vol. 107, 2021, pp. 67–105. http://access.bl.uk/ark:/81055/vdc_100130755519.0x00002a