A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem.

Hua Jiang, Chu-Min Li, Yanli Liu, Felip Many

Browse the full AAAI paper archive.