| 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 | 156 | 2011 |
| 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 | 140 | 2004 |
| 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 | 140 | 2004 |
| 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 | 119 | 2013 |
| Configuration checking with aspiration in local search for SAT S Cai, K Su Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2012 | 98 | 2012 |
| Intelligent student profiling with fuzzy models D Xu, H Wang, K Su Proceedings of the 35th Annual Hawaii International Conference on System …, 2002 | 94 | 2002 |
| Local search for boolean satisfiability with configuration checking and subscore S Cai, K Su Artificial Intelligence 204, 75-98, 2013 | 82 | 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 | 81 | 2014 |
| Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. H Lin, K Su, CM Li AAAI 8, 351-356, 2008 | 59 | 2008 |
| 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), 2010 | 55 | 2010 |
| 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 | 49 | 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 | 48 | 2014 |
| Model Checking Temporal Logics of Knowledge Via OBDDs1 K Su, A Sattar, X Luo The Computer Journal 50 (4), 403-420, 2007 | 48 | 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 | 47 | 2006 |
| Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. H Lin, K Su IJCAI 7, 2334-2339, 2007 | 46 | 2007 |
| 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 | 45 | 2014 |
| 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 | 41 | 2014 |
| 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 | 40 | 2017 |
| Local search with configuration checking for SAT S Cai, K Su 2011 IEEE 23rd international conference on tools with artificial …, 2011 | 37 | 2011 |
| Model checking temporal logics of knowledge in distributed systems K Su AAAI, 98-103, 2004 | 36 | 2004 |
Shaowei CaiInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
