Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning.

Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng, Ke Xu

Browse the full ECAI paper archive.