H. Jiang, C.-M. Li, Y. Liu, and F. Manyà, “A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem”, AAAI, vol. 32, no. 1, Apr. 2018.