%0 Journal Article %1 journals/jair/FangLX16 %A Fang, Zhiwen %A Li, Chu-Min %A Xu, Ke %D 2016 %J J. Artif. Intell. Res. %K dblp %P 799-833 %T An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem. %U http://dblp.uni-trier.de/db/journals/jair/jair55.html#FangLX16 %V 55

@article{journals/jair/FangLX16, added-at = {2019-01-21T00:00:00.000+0100}, author = {Fang, Zhiwen and Li, Chu-Min and Xu, Ke}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2048fdfa56b7e1fe42ad5ec07b22b1236/dblp}, ee = {https://doi.org/10.1613/jair.4953}, interhash = {1a1d342b65946c4cbd0cb3f618ba1d08}, intrahash = {048fdfa56b7e1fe42ad5ec07b22b1236}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {799-833}, timestamp = {2019-09-27T08:31:20.000+0200}, title = {An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair55.html#FangLX16}, volume = 55, year = 2016 }