Combining Efficient Preprocessing And Incremental Maxsat Reasoning For Maxclique In Large Graphs

Hua Jiang,Chu-Min Li,Felip Manya
DOI: https://doi.org/10.3233/978-1-61499-672-9-939
2016-01-01
Abstract:We describe a new exact algorithm for MaxClique, called LMC (short for Large MaxClique), that is especially suited for large sparse graphs. LMC is competitive because it combines an efficient preprocessing procedure and incremental MaxSAT reasoning in a branch-and-bound scheme. The empirical results show that LMC outperforms existing exact MaxClique algorithms on large sparse graphs from real-world applications.
What problem does this paper attempt to address?