Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs.

Hua Jiang Chu Min Li Felip Manyà

Published in: ECAI (2016)

Keyphrases

preprocessing
branch and bound algorithm
post processing
maximum clique
efficient incremental
combinatorial optimization
sat solvers
automated reasoning