Gaar, Elisabeth; Wiegele, Angelika; Krenn, Daniel; Margulies, Susan An optimization-based sum-of-squares approach to Vizing’s conjecture. (English) Zbl 1444.68303 Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 155-162 (2019). MSC: 68W30 Symbolic computation and algebraic computation 13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) 68R10 Graph theory (including graph drawing) in computer science 90C22 Semidefinite programming Keywords:algebraic model; Gröbner basis; semidefinite programming; sum-of-squares problems; Vizing’s conjecture PDF BibTeX XML Cite \textit{E. Gaar} et al., in: Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019. New York, NY: Association for Computing Machinery (ACM). 155--162 (2019; Zbl 1444.68303) Full Text: DOI