Jiang, H.; Li, C.-M.; Liu, Y.; Manyà, F. A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem. AAAI 2018, 32.