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

From MaRDI portal
(Redirected from Publication:2029005)