%0 Conference Paper %1 conf/ictai/LiQ10 %A Li, Chu Min %A Quan, Zhe %B ICTAI (1) %D 2010 %I IEEE Computer Society %K dblp %P 344-351 %T Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem. %U http://dblp.uni-trier.de/db/conf/ictai/ictai2010-1.html#LiQ10 %@ 978-0-7695-4263-8

@inproceedings{conf/ictai/LiQ10, added-at = {2014-12-19T00:00:00.000+0100}, author = {Li, Chu Min and Quan, Zhe}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2861783d9964420648e476208bb391c5c/dblp}, booktitle = {ICTAI (1)}, crossref = {conf/ictai/2010-1}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2010.57}, interhash = {e022668d49d8be42235bf0bcf08e504a}, intrahash = {861783d9964420648e476208bb391c5c}, isbn = {978-0-7695-4263-8}, keywords = {dblp}, pages = {344-351}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:46:02.000+0100}, title = {Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2010-1.html#LiQ10}, year = 2010 }