| Local search with edge weighting and configuration checking heuristics for minimum vertex cover S Cai, K Su, A Sattar Artificial Intelligence 175 (9-10), 1672-1696, 2011 | 214 | 2011 |
| NuMVC: An efficient local search algorithm for minimum vertex cover S Cai, K Su, C Luo, A Sattar J. Artif. Intel. Res. 46, 687-716, 2013 | 167 | 2013 |
| Balance between complexity and quality: Local search for minimum vertex cover in massive graphs S Cai Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 126 | 2015 |
| Local search for boolean satisfiability with configuration checking and subscore S Cai, K Su Artificial Intelligence 204, 75-98, 2013 | 126 | 2013 |
| CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability C Luo, S Cai, W Wu, Z Jie, K Su IEEE Transactions on Computers 64 (7), 1830-1843, 2015 | 118 | 2015 |
| Two efficient local search algorithms for maximum weight clique problem Y Wang, S Cai, M Yin Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 112 | 2016 |
| Configuration checking with aspiration in local search for SAT S Cai, K Su Proc. of AAAI-12, 434-440, 2012 | 108 | 2012 |
| Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. Z Lei, S Cai IJCAI 7, 1346-52, 2018 | 78 | 2018 |
| CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability C Luo, S Cai, K Su, W Huang Artificial Intelligence 243, 26-44, 2017 | 78 | 2017 |
| Fast Solving Maximum Weight Clique Problem in Massive Graphs. S Cai, J Lin IJCAI, 568-574, 2016 | 77 | 2016 |
| TCA: An efficient two-mode meta-heuristic algorithm for combinatorial test generation (T) J Lin, C Luo, S Cai, K Su, D Hao, L Zhang 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 75 | 2015 |
| Tailoring local search for partial MaxSAT S Cai, C Luo, J Thornton, K Su Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 75 | 2014 |
| Double configuration checking in stochastic local search for satisfiability C Luo, S Cai, W Wu, K Su Proc. of AAAI 2014, 2014 | 72 | 2014 |
| Ewls: A new local search for minimum vertex cover S Cai, K Su, Q Chen Proc. of AAAI, 45-50, 2010 | 66 | 2010 |
| Clause States Based Configuration Checking in Local Search for Satisfiability C Luo, S Cai, K Su, W Wu IEEE Trans. on Cybernetics, 2014 | 64 | 2014 |
| Local search for minimum weight dominating set with two-level configuration checking and frequency based scoring function Y Wang, S Cai, M Yin Journal of Artificial Intelligence Research 58, 267-295, 2017 | 62 | 2017 |
| CCAnr: A configuration checking based local search solver for non-random satisfiability S Cai, C Luo, K Su Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 59 | 2015 |
| Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability S Cai, Z Lei Artificial Intelligence 287, 103354, 2020 | 57 | 2020 |
| Nlocalsat: Boosting local search with solution prediction W Zhang, Z Sun, Q Zhu, G Li, S Cai, Y Xiong, L Zhang arXiv preprint arXiv:2001.09398, 2020 | 55 | 2020 |
| SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem Y Wang, S Cai, J Chen, M Yin Artificial Intelligence 280, 103230, 2020 | 54 | 2020 |
Chuan LuoBeihang University, ChinaVerified email at buaa.edu.cn
