Kaile Su
Kaile Su
Geverifieerd e-mailadres voor griffith.edu.au - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1442011
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
1382004
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
1382004
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
1092013
Configuration checking with aspiration in local search for SAT
S Cai, K Su
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
942012
Intelligent student profiling with fuzzy models
D Xu, H Wang, K Su
Proceedings of the 35th Annual Hawaii International Conference on System …, 2002
922002
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
752014
Local search for Boolean Satisfiability with configuration checking and subscore
S Cai, K Su
Artificial Intelligence 204, 75-98, 2013
732013
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
H Lin, K Su, CM Li
AAAI 8, 351-356, 2008
592008
EWLS: A New Local Search for Minimum Vertex Cover.
S Cai, K Su, Q Chen
AAAI, 2010
542010
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.
H Lin, K Su
IJCAI 7, 2334-2339, 2007
472007
Model Checking Temporal Logics of Knowledge Via OBDDs1
K Su, A Sattar, X Luo
The Computer Journal 50 (4), 403-420, 2007
452007
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
442006
Tailoring Local Search for Partial MaxSAT.
S Cai, C Luo, J Thornton, K Su
AAAI, 2623-2629, 2014
422014
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
412015
Double Configuration Checking in Stochastic Local Search for Satisfiability.
C Luo, S Cai, W Wu, K Su
AAAI, 2703-2709, 2014
382014
Model checking temporal logics of knowledge in distributed systems
K Su
AAAI, 98-103, 2004
372004
Two weighting local search for minimum vertex cover
S Cai, J Lin, K Su
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015
36*2015
Symbolic model checking for dynamic epistemic logic
J Van Benthem, J Van Eijck, M Gattinger, K Su
International Workshop on Logic, Rationality and Interaction, 366-378, 2015
352015
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
342014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20