| 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 | 221 | 2011 |
| 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 | 180 | 2013 |
| Symbolic model checking the knowledge of the dining cryptographers R Van der Meyden, K Suf Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 280-291, 2004 | 164 | 2004 |
| Intelligent student profiling with fuzzy models D Xu, H Wang, K Su Proceedings of the 35th Annual Hawaii international conference on system …, 2002 | 129 | 2002 |
| Local search for boolean satisfiability with configuration checking and subscore S Cai, K Su Artificial Intelligence 204, 75-98, 2013 | 124 | 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, 2014 | 119 | 2014 |
| Configuration checking with aspiration in local search for SAT S Cai, K Su Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 434-440, 2012 | 107 | 2012 |
| 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 | 82 | 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 | 78 | 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 |
| Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. H Lin, K Su, CM Li AAAI 8, 351-356, 2008 | 74 | 2008 |
| 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 | 72 | 2014 |
| EWLS: A new local search for minimum vertex cover S Cai, K Su, Q Chen Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 45-50, 2010 | 71 | 2010 |
| Clause states based configuration checking in local search for satisfiability C Luo, S Cai, K Su, W Wu IEEE transactions on Cybernetics 45 (5), 1028-1041, 2014 | 64 | 2014 |
| 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 | 60 | 2015 |
| Model Checking Temporal Logics of Knowledge Via OBDDs1 K Su, A Sattar, X Luo The Computer Journal 50 (4), 403-420, 2007 | 60 | 2007 |
| Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. H Lin, K Su IJCAI 7, 2334-2339, 2007 | 54 | 2007 |
| A logical framework for identifying quality knowledge from different data sources K Su, H Huang, X Wu, S Zhang Decision Support Systems 42 (3), 1673-1683, 2006 | 51 | 2006 |
| A Reduction based Method for Coloring Very Large Graphs. J Lin, S Cai, C Luo, K Su IJCAI, 517-523, 2017 | 46 | 2017 |
| New local search methods for partial MaxSAT S Cai, C Luo, J Lin, K Su Artificial Intelligence 240, 1-18, 2016 | 46 | 2016 |
Shaowei CaiInstitute of Software, Chinese Academy of SciencesAdresse e-mail validée de ios.ac.cn
