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

Open in new window