Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares

This article was published on 11. February 2021, J. Symbolic Comput. 107 (2021), 67–105.
(history: submitted on 16. December 2019, accepted on 15. January 2021, published on 11. February 2021)
Resources:
- arXiv:2003.04021
- doi:10.1016/j.jsc.2021.01.003
Permalink: http://www.danielkrenn.at/vizing-full/
categories: math, article, accepted

Daniel Krenn's space