A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem.

Hua Jiang Chu-Min Li Yanli Liu Felip Manyà

Published in: AAAI (2018)

Keyphrases

maximum weight
bipartite matching
independent set
bipartite graph
partial order
minimum weight
weighted graph
np hard
bipartite graph matching
upper bound
combinatorial optimization
branch and bound algorithm
social networks
lower bound
recommender systems
spanning tree