@inproceedings{jiang:hal-03636430, TITLE = {{Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs}}, AUTHOR = {Jiang, Hua and Li, Chu-Min and Manya, Felip}, URL = {https://u-picardie.hal.science/hal-03636430}, NOTE = {22nd European Conference on Artificial Intelligence (ECAI), Hague, NETHERLANDS, AUG 29-SEP 02, 2016}, BOOKTITLE = {{ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE}}, ADDRESS = {The Hague, Netherlands}, EDITOR = {Kaminka and GA and Fox and M and Bouquet and P and Hullermeier and E and Dignum and V and Dignum and F and VanHarmelen and F}, SERIES = {Frontiers in Artificial Intelligence and Applications}, VOLUME = {285}, PAGES = {939-947}, YEAR = {2016}, MONTH = Aug, DOI = {10.3233/978-1-61499-672-9-939}, HAL_ID = {hal-03636430}, HAL_VERSION = {v1}, }