刘燕丽, 李初民, 何琨. 基于优化冲突集提高下界的MAXSAT完备算法, 计算机学报, vol.36(10):2087-2095, 2013. (2013 CCF中国计算机大会会议论文及优秀海报)
何琨, 莫旦增, 许如初, 黄文奇. 基于粗精调技术的求解带平衡约束圆形Packing问题的拟物算法, 计算机学报, vol. 36(6): 1224-1234, 2013.