Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem.

Chu Min Li, Zhe Quan

Browse the full ICTAI paper archive.