Shaowei Cai

Citada per

	Totes	Des de 2020
Citacions	3603	2401
Índex h	35	30
Índex i10	81	75

560

280

140

420

20112012201320142015201620172018201920202021202220232024202511 29 58 152 132 118 244 189 244 352 434 450 523 552 87

Accés públic

Mostra-ho tot

64 articles

22 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

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

Segueix

Shaowei Cai

Institute of Software, Chinese Academy of Sciences

Correu electrònic verificat a ios.ac.cn - Pàgina d'inici

Satisfiability Constraint Solving Combinatorial Optimization Heuristic Search


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	217	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	175	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	132	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	115	2016
Configuration checking with aspiration in local search for SAT S Cai, K Su Proc. of AAAI-12, 434-440, 2012	108	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	77	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	74	2014
Ewls: A new local search for minimum vertex cover S Cai, K Su, Q Chen Proc. of AAAI, 45-50, 2010	69	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	59	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

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors