Shaowei Cai

Citée par

	Toutes	Depuis 2020
Citations	3612	2402
indice h	35	30
indice i10	81	75

560

280

140

420

20112012201320142015201620172018201920202021202220232024202511 29 58 152 132 118 244 197 244 352 434 450 522 551 89

Accès public

Tout afficher

64 articles

22 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

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

Suivre

Shaowei Cai

Institute of Software, Chinese Academy of Sciences

Adresse e-mail validée de ios.ac.cn - Page d'accueil

Satisfiability Constraint Solving Combinatorial Optimization Heuristic Search


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	218	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	176	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	133	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	116	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	70	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs