Yiyuan Wang, Dantong Ouyang, LiMing Zhang. Improved Algorithm of Unsatisfiability-based Maximum Satisfiability. In Steffen Hölldobler, Yanchun Liang 0001, editors, Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), Changchun, China, March 9-12, 2015. Volume 1339 of CEUR Workshop Proceedings, pages 93-103, CEUR-WS.org, 2015. [doi]
Abstract is missing.