Hua Jiang, Chu-Min Li, Felip Manya. Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs.
ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, Aug 2016, The Hague, Netherlands. pp.939-947,
⟨10.3233/978-1-61499-672-9-939⟩.
⟨hal-03636430⟩