Zhiwen Fang, Chu Min Li, Ke Xu. An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem. J. Artif. Intell. Res. (JAIR), 55:799-833, 2016. [doi]
@article{FangLX16-0,
title = {An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem},
author = {Zhiwen Fang and Chu Min Li and Ke Xu},
year = {2016},
doi = {10.1613/jair.4953},
url = {http://dx.doi.org/10.1613/jair.4953},
researchr = {https://researchr.org/publication/FangLX16-0},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {55},
pages = {799-833},
}