Login / Signup

An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem.

Zhiwen FangChu-Min LiKe Xu
Published in: J. Artif. Intell. Res. (2016)
Keyphrases
  • maximum weight
  • branch and bound algorithm
  • bipartite matching
  • bipartite graph
  • independent set
  • minimum weight
  • np hard
  • weighted graph
  • partial order
  • upper bound
  • lower bound
  • data points