Inproceedings,

An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem.

, and .
AAAI, page 128-133. AAAI Press, (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews