×

zbMATH — the first resource for mathematics

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
PDF BibTeX XML Cite
Full Text: DOI