An exact algorithm based on MaxSAT reasoning for the maximum weight clique problem
Dynamic Local Search for the Maximum Clique Problem