%0 Conference Paper %1 conf/ecai/FangLQFX14 %A Fang, Zhiwen %A Li, Chu-Min %A Qiao, Kan %A Feng, Xu %A Xu, Ke %B ECAI %D 2014 %E Schaub, Torsten %E Friedrich, Gerhard %E O'Sullivan, Barry %I IOS Press %K dblp %P 303-308 %T Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#FangLQFX14 %V 263 %@ 978-1-61499-419-0

@inproceedings{conf/ecai/FangLQFX14, added-at = {2014-09-11T00:00:00.000+0200}, author = {Fang, Zhiwen and Li, Chu-Min and Qiao, Kan and Feng, Xu and Xu, Ke}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e32da16da588753cb5702b49f6331015/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2014}, editor = {Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry}, ee = {http://dx.doi.org/10.3233/978-1-61499-419-0-303}, interhash = {0e8bee3100d19f09591993c35f73e986}, intrahash = {e32da16da588753cb5702b49f6331015}, isbn = {978-1-61499-419-0}, keywords = {dblp}, pages = {303-308}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2016-02-02T16:18:45.000+0100}, title = {Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#FangLQFX14}, volume = 263, year = 2014 }