Fast Solving Maximum Weight Clique Problem in Massive Graphs. S Cai, J Lin IJCAI, 568-574, 2016 | 76 | 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 | 71 | 2015 |
Finding a small vertex cover in massive sparse graphs: Construct, local search, and preprocess S Cai, J Lin, C Luo Journal of Artificial Intelligence Research 59, 463-494, 2017 | 49 | 2017 |
A Reduction based Method for Coloring Very Large Graphs. J Lin, S Cai, C Luo, K Su IJCAI, 517-523, 2017 | 40 | 2017 |
New local search methods for partial MaxSAT S Cai, C Luo, J Lin, K Su Artificial Intelligence 240, 1-18, 2016 | 40 | 2016 |
Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies. S Cai, W Hou, J Lin, Y Li IJCAI, 1412-1418, 2018 | 35 | 2018 |
Two weighting local search for minimum vertex cover S Cai, J Lin, K Su Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 28 | 2015 |
Towards more efficient meta-heuristic algorithms for combinatorial test generation J Lin, S Cai, C Luo, Q Lin, H Zhang Proceedings of the 2019 27th ACM joint meeting on European Software …, 2019 | 16 | 2019 |
WCA: A weighting local search for constrained combinatorial test optimization Y Fu, Z Lei, S Cai, J Lin, H Wang Information and Software Technology 122, 106288, 2020 | 15 | 2020 |
AutoCCAG: An automated approach to constrained covering array generation C Luo, J Lin, S Cai, X Chen, B He, B Qiao, P Zhao, Q Lin, H Zhang, W Wu, ... 2021 IEEE/ACM 43rd international conference on software engineering (ICSE …, 2021 | 14 | 2021 |
Nucds: An efficient local search algorithm for minimum connected dominating set B Li, X Zhang, S Cai, J Lin, Y Wang, C Blum Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 12 | 2021 |
LS-sampling: An effective local search based sampling approach for achieving high t-wise coverage C Luo, B Sun, B Qiao, J Chen, H Zhang, J Lin, Q Lin, D Zhang Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 8 | 2021 |
A semi-exact algorithm for quickly computing a maximum weight clique in large sparse graphs S Cai, J Lin, Y Wang, D Strash Journal of Artificial Intelligence Research 72, 39-67, 2021 | 4 | 2021 |
FastCA: An effective and efficient tool for combinatorial covering array generation J Lin, S Cai, B He, Y Fu, C Luo, Q Lin 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 2 | 2021 |
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays Q Zhao, C Luo, S Cai, W Wu, J Lin, H Zhang, C Hu Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 1 | 2023 |
Local Search for Integer Linear Programming P Lin, S Cai, M Zou, J Lin arXiv preprint arXiv:2305.00188, 2023 | | 2023 |