Yan-Li Liu, Chumin Li, Kun He, Yi Fan. Breaking Cycle Structure to Improve Lower Bound for Max-SAT. In Daming Zhu, Sergey Bereg, editors, Frontiers in Algorithmics, 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings. Volume 9711 of Lecture Notes in Computer Science, pages 111-124, Springer, 2016. [doi]
Abstract is missing.