An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Elisabeth Gaar, Angelika Wiegele, Daniel Krenn, Susan Margulies. An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture. In James H. Davenport, Dongming Wang, Manuel Kauers, Russell Bradford, editors, Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. pages 155-162, ACM, 2019. [doi]

The following publications are possibly variants of this publication:

Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squaresElisabeth Gaar, Daniel Krenn, Susan Margulies, Angelika Wiegele. JSC, 107:67-105, 2021. [doi]

Sum-of-squares certificates for Vizing's conjecture via determining Gröbner basesElisabeth Gaar, Melanie Siebenhofer. JSC, 120:102236, 2024. [doi]

runs on WebDSL