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

Hua Jiang, Chu Min Li, Felip Many

Browse the full ECAI paper archive.