Hua Jiang, Chu Min Li, Yanli Liu, Felip Manyà. A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem. In Sheila A. McIlraith, Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. pages 1338-1346, AAAI Press, 2018. [doi]
Abstract is missing.