Feitelson's weighted clique algorithm