Hong Xu, T. K. Satish Kumar, Sven Koenig. A New Solver for the Minimum Weighted Vertex Cover Problem. In Claude-Guy Quimper, editor, Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings. Volume 9676 of Lecture Notes in Computer Science, pages 392-405, Springer, 2016. [doi]
Abstract is missing.