Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning.

Zhiwen Fang Chu-Min Li Kan Qiao Xu Feng Ke Xu

Published in: ECAI (2014)

Keyphrases

maximum weight
independent set
bipartite graph
maximum satisfiability
minimum weight
partial order
weighted graph
np hard
boolean satisfiability
max sat
optimal solution
greedy heuristic