Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem.

Chu-Min Li, Zhiwen Fang, Ke Xu

Browse the full ICTAI paper archive.