SAT-based algorithm for finding all maximal cliques.

Haitao Wu Ningbo Hao Wen-Kuang Chou

Published in: Int. J. Comput. Sci. Eng. (2016)

Keyphrases

optimal solution
search space
objective function
genetic algorithm
data analysis
optimization problems
massive data