Shaowei Cai

Geciteerd door

	Alles	Sinds 2020
Citaties	3628	2417
h-index	35	30
i10-index	81	75

560

280

140

420

20112012201320142015201620172018201920202021202220232024202511 29 58 141 143 118 244 198 244 352 434 450 521 551 103

Openbare toegang

Alles bekijken

64 artikelen

22 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Chuan LuoBeihang University, ChinaGeverifieerd e-mailadres voor buaa.edu.cn
Kaile SuIIIS, Griffith UniversityGeverifieerd e-mailadres voor griffith.edu.au
Yiyuan WangNortheast Normal UniversityGeverifieerd e-mailadres voor nenu.edu.cn
Jinkun LinPeking UniversityGeverifieerd e-mailadres voor ios.ac.cn
Xindi Zhang(张昕荻)Institute of Software, Chinese Academy of Sciences(中国科学院软件研究所)Geverifieerd e-mailadres voor ios.ac.cn
Minghao Yin (殷明浩)Professor of Computer Science, Northeast Normal UniversityGeverifieerd e-mailadres voor nenu.edu.cn
Qingwei LinMicrosoftGeverifieerd e-mailadres voor microsoft.com
Abdul SattarProfessor of Computer Science, Griffith UniversityGeverifieerd e-mailadres voor griffith.edu.au
Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaGeverifieerd e-mailadres voor cs.rwth-aachen.de
Lu ZhangPeking UniversityGeverifieerd e-mailadres voor sei.pku.edu.cn
Qingliang ChenProfessor of Computer Science, Jinan UniversityGeverifieerd e-mailadres voor jnu.edu.cn
li yongjianassociate professor, institute of software, chinese academy of sciencesGeverifieerd e-mailadres voor ios.ac.cn
Faisal N. Abu-KhzamProfessor of Computer Science, Lebanese American UniversityGeverifieerd e-mailadres voor lau.edu.lb
Peter ShawOujiang Laboratory: high-end medical device research clusterGeverifieerd e-mailadres voor ojlab.ac.cn

Volgen

Shaowei Cai

Institute of Software, Chinese Academy of Sciences

Geverifieerd e-mailadres voor ios.ac.cn - Homepage

Satisfiability Constraint Solving Combinatorial Optimization Heuristic Search


Titel Sorteren op citaties Sorteren op jaar Sorteren op 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	219	2011
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	177	2013
Balance between complexity and quality: Local search for minimum vertex cover in massive graphs S Cai Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	134	2015
Local search for boolean satisfiability with configuration checking and subscore S Cai, K Su Artificial Intelligence 204, 75-98, 2013	128	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, 2015	119	2015
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	117	2016
Configuration checking with aspiration in local search for SAT S Cai, K Su Proc. of AAAI-12, 434-440, 2012	109	2012
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	80	2017
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. Z Lei, S Cai IJCAI 7, 1346-52, 2018	79	2018
Fast Solving Maximum Weight Clique Problem in Massive Graphs. S Cai, J Lin IJCAI, 568-574, 2016	78	2016
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	76	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	76	2014
Double configuration checking in stochastic local search for satisfiability C Luo, S Cai, W Wu, K Su Proc. of AAAI 2014, 2014	75	2014
Ewls: A new local search for minimum vertex cover S Cai, K Su, Q Chen Proc. of AAAI, 45-50, 2010	71	2010
Clause States Based Configuration Checking in Local Search for Satisfiability C Luo, S Cai, K Su, W Wu IEEE Trans. on Cybernetics, 2014	66	2014
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	63	2017
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability S Cai, Z Lei Artificial Intelligence 287, 103354, 2020	62	2020
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	61	2015
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	60	2020
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	59	2020

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs