Merkliste 
 1 Ergebnisse 
 
1

An Optimization-Based Sum-of-Squares Approach to Vizing's C..:

, In: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation,