Takip et
Kaile Su
Kaile Su
IIIS, Griffith University
griffith.edu.au üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
2172011
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
1782013
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
1642004
Intelligent student profiling with fuzzy models
D Xu, H Wang, K Su
Proceedings of the 35th Annual Hawaii international conference on system …, 2002
1292002
Local search for boolean satisfiability with configuration checking and subscore
S Cai, K Su
Artificial Intelligence 204, 75-98, 2013
1232013
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
1192014
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
1072012
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
812017
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
772015
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
762014
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
H Lin, K Su, CM Li
AAAI 8, 351-356, 2008
732008
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
722014
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
712010
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
642014
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
602015
Model Checking Temporal Logics of Knowledge Via OBDDs1
K Su, A Sattar, X Luo
The Computer Journal 50 (4), 403-420, 2007
602007
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.
H Lin, K Su
IJCAI 7, 2334-2339, 2007
542007
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
512006
New local search methods for partial MaxSAT
S Cai, C Luo, J Lin, K Su
Artificial Intelligence 240, 1-18, 2016
462016
Probabilistic alternating-time temporal logic of incomplete information and synchronous perfect recall
X Huang, K Su, C Zhang
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 765-771, 2012
462012
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20