Chu Min Li, Zhiwen Fang, Ke Xu. Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 939-946, IEEE, 2013. [doi]
Abstract is missing.