Return to Article Details An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem Download Download PDF