APA (7th ed.) Citation

Li, C., Fang, Z., & Xu, K. (2013, January). Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 939-946. https://doi.org/10.1109/ICTAI.2013.143

Chicago Style (17th ed.) Citation

Li, Chu-Min, Zhiwen Fang, and Ke Xu. "Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem." 2013 IEEE 25th International Conference on Tools with Artificial Intelligence Jan. 2013: 939-946. https://doi.org/10.1109/ICTAI.2013.143.

MLA (9th ed.) Citation

Li, Chu-Min, et al. "Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem." 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Jan. 2013, pp. 939-946, https://doi.org/10.1109/ICTAI.2013.143.