| NuMVC: An efficient local search algorithm for minimum vertex cover S Cai, K Su, C Luo, A Sattar Journal of Artificial Intelligence Research 46, 687-716, 2013 | 175 | 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 | 119 | 2015 |
| 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 | 80 | 2017 |
| 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 | 76 | 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 | 76 | 2014 |
| Double configuration checking in stochastic local search for satisfiability C Luo, S Cai, W Wu, K Su Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 74 | 2014 |
| Neural feature search: A neural architecture for automated feature engineering X Chen, Q Lin, C Luo, X Li, H Zhang, Y Xu, Y Dang, K Sui, X Zhang, ... 2019 IEEE International Conference on Data Mining (ICDM), 71-80, 2019 | 69 | 2019 |
| Clause States Based Configuration Checking in Local Search for Satisfiability C Luo, S Cai, K Su, W Wu IEEE Transactions on Cybernetics 45 (5), 1014-1027, 2015 | 66 | 2015 |
| 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 | 61 | 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 | 51 | 2017 |
| Predicting the 9-year course of mood and anxiety disorders with automated machine learning: A comparison between auto-sklearn, naïve Bayes classifier, and traditional logistic … WA van Eeden, C Luo, AM van Hemert, IVE Carlier, BW Penninx, ... Psychiatry Research 299, 113823, 2021 | 47 | 2021 |
| Hashing-accelerated graph neural networks for link prediction W Wu, B Li, C Luo, W Nejdl Proceedings of the Web Conference 2021, 2910-2920, 2021 | 47 | 2021 |
| New local search methods for partial MaxSAT S Cai, C Luo, J Lin, K Su Artificial Intelligence 240, 1-18, 2016 | 47 | 2016 |
| Finding and proving the exact ground state of a generalized Ising model by convex optimization and MAX-SAT W Huang, DA Kitchaev, ST Dacek, Z Rong, A Urban, S Cao, C Luo, ... Physical Review B 94 (13), 134424, 2016 | 46 | 2016 |
| Focused random walk with configuration checking and break minimum for satisfiability C Luo, S Cai, W Wu, K Su Principles and Practice of Constraint Programming: 19th International …, 2013 | 45 | 2013 |
| A Reduction based Method for Coloring Very Large Graphs. J Lin, S Cai, C Luo, K Su IJCAI, 517-523, 2017 | 44 | 2017 |
| Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking C Luo, K Su, S Cai Proc. of ECAI-12, 570-575, 2012 | 43 | 2012 |
| Pulns: Positive-unlabeled learning with effective negative sample selector C Luo, P Zhao, C Chen, B Qiao, C Du, H Zhang, W Wu, S Cai, B He, ... Proceedings of the AAAI Conference on Artificial Intelligence 35 (10), 8784-8792, 2021 | 42 | 2021 |
| Did we miss something important? studying and exploring variable-aware log abstraction Z Li, C Luo, TH Chen, W Shang, S He, Q Lin, D Zhang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 41 | 2023 |
| From Decimation to Local Search and Back: A New Approach to MaxSAT. S Cai, C Luo, H Zhang IJCAI, 571-577, 2017 | 41 | 2017 |
Shaowei CaiInstitute of Software, Chinese Academy of SciencesAdresse e-mail validée de ios.ac.cn