Takip et
Shaowei Cai
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
J. Artif. Intel. Res. 46, 687-716, 2013
1772013
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs.
S Cai
IJCAI, 747-753, 2015
1342015
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, 2015
1192015
Two efficient local search algorithms for maximum weight clique problem
Y Wang, S Cai, M Yin
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
1182016
Configuration checking with aspiration in local search for SAT
S Cai, K Su
Proc. of AAAI-12, 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
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT.
Z Lei, S Cai
IJCAI 7, 1346-52, 2018
792018
Fast Solving Maximum Weight Clique Problem in Massive Graphs.
S Cai, J Lin
IJCAI, 568-574, 2016
772016
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
Double configuration checking in stochastic local search for satisfiability
C Luo, S Cai, W Wu, K Su
Proc. of AAAI 2014, 2014
722014
Ewls: A new local search for minimum vertex cover
S Cai, K Su, Q Chen
Proc. of AAAI, 45-50, 2010
712010
Clause States Based Configuration Checking in Local Search for Satisfiability
C Luo, S Cai, K Su, W Wu
IEEE Trans. on Cybernetics, 2014
642014
Local search for minimum weight dominating set with two-level configuration checking and frequency based scoring function
Y Wang, S Cai, M Yin
Journal of Artificial Intelligence Research 58, 267-295, 2017
632017
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability
S Cai, Z Lei
Artificial Intelligence 287, 103354, 2020
622020
SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem
Y Wang, S Cai, J Chen, M Yin
Artificial Intelligence 280, 103230, 2020
602020
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
NLocalSAT: Boosting local search with solution prediction
W Zhang, Z Sun, Q Zhu, G Li, S Cai, Y Xiong, L Zhang
arXiv preprint arXiv:2001.09398, 2020
582020
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20