Volgen
Chuan Luo
Titel
Geciteerd door
Geciteerd door
Jaar
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
1652013
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
1152015
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
742017
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
712015
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
712014
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
692014
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
632015
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
552015
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
482017
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
452019
New local search methods for partial MaxSAT
S Cai, C Luo, J Lin, K Su
Artificial Intelligence 240, 1-18, 2016
402016
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
402013
From Decimation to Local Search and Back: A New Approach to MaxSAT.
S Cai, C Luo, H Zhang
IJCAI, 571-577, 2017
392017
A Reduction based Method for Coloring Very Large Graphs.
J Lin, S Cai, C Luo, K Su
IJCAI, 517-523, 2017
392017
Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking
C Luo, K Su, S Cai
Proc. of ECAI-12, 570-575, 2012
382012
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
372016
Local Search with Efficient Automatic Configuration for Minimum Vertex Cover.
C Luo, HH Hoos, S Cai, Q Lin, H Zhang, D Zhang
IJCAI, 1297-1304, 2019
352019
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
342021
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
312021
Intelligent Virtual Machine Provisioning in Cloud Computing.
C Luo, B Qiao, X Chen, P Zhao, R Yao, H Zhang, W Wu, A Zhou, Q Lin
IJCAI, 1495-1502, 2020
312020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20