基本信息

蔡少伟  男  

研究员 中国科学院软件研究所

岗位教授 中国科学院大学

英文主页:http://lcs.ios.ac.cn/~caisw/

电子邮件: caisw@ios.ac.cn

通信地址: 北京市海淀区中关村南四街4号中国科学院软件园区5号楼218
邮政编码: 100190

研究领域

本人对人工智能和算法设计有广泛的兴趣,主要研究方向包括:NP难问题求解,逻辑问题的算法求解,组合优化,启发式算法及其应用,图搜索。

招生信息

招收研究生,欢迎报考,希望学生有很好的编程能力(C/C++),扎实的算法基础且对算法研究感兴趣,除此之外, 如果有较好的数学基础(尤其是图论,数理逻辑,概率论)和英语能力则更好;

2018年入学的研究生名额已满,如有意愿保送2019年9月入学的研究生,可以尽早联系。


招收实习生,面向本科生和研究生,条件同上,一般可以在一年之内合作发表一篇CCF A类或B类论文,有实习津贴。

招生专业
081202-计算机软件与理论
招生方向
人工智能,算法设计

教育背景

2012-07--2014-07   Griffith University   应用数学 博士
2008-09--2012-07   北京大学   计算机软件与理论 博士
2004-09--2008-07   华南理工大学   计算机科学与技术 学士

工作经历

   
工作简历
2014-07~现在, 中国科学院软件研究所, 副研究员,研究员
2012-07~2014-07,National ICT Australia (NICTA), Student Researcher
社会兼职
2017-07-06-2017-07-07,组织委员会委员, Workshop on Hard Computational Problems: Representations, Algorithms and Applications
2015-01-01-今,程序委员会委员(PC Member), IJCAI 2016-2017, AAAI 2015-2018
2014-12-13-今,Frontinese of Computer Sciences, Yong Associate Editor

教授课程

高级算法设计与分析

专利与奖励

   
奖励信息
(1) 2016年国际SAT比赛Random track亚军, 二等奖, 其他, 2016
(2) 2014国际SAT比赛Hard-combinatorial组 亚军, , 其他, 2014
(3) 北京大学优秀博士论文奖, , 研究所(学校), 2012
(4) 2012国际SAT比赛随机组 冠军, , 其他, 2012
(5) 北京市优秀毕业生, , 市地级, 2012
(6) 北京大学学术创新奖, , 研究所(学校), 2011

出版信息

   
发表论文
(1) CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability, Artificial Intelligence, 2017, 通讯作者
(2) Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function, Journal of Artificial Intelligence Research (JAIR), 2017, 第 2 作者
(3) A Reduction based Method for Coloring Very Large Graphs, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017, 通讯作者
(4) From Decimation to Local Search and Back: A New Approach to MaxSAT, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017, 第 1 作者
(5) Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess, Journal of Artificial Intelligence Research (JAIR), 2017, 第 1 作者
(6) An efficient local search algorithm for the winner determination problem, Journal of Heuristics, 2017, 第 2 作者
(7) Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis, 14th Annual Conference of Theory and Applications of Models of Computation (TAMC 2017), 2017, 第 2 作者
(8) An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs, 11th International Conference on Simulated Evolution and Learning (SEAL 2017), 2017, 通讯作者
(9) An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search, SIGARCH Computer Architecture News, 2016, 第 3 作者
(10) A novel approach to parameterized verification of cache coherence protocols, 34th IEEE International Conference on Computer Design, ICCD 2016, 2016, 第 5 作者
(11) New local search methods for partial MaxSAT, Artificial Intelligence, 2016, 第 1 作者
(12) Two Efficient Local Search Algorithms for Maximum Weight Clique Problem, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), 2016, 第 2 作者
(13) Fast Solving Maximum Weight Clique in Massive Graphs, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016, 第 1 作者
(14) TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), 2015, 第 3 作者
(15) Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation, The Computer Journal, 2015, 第 1 作者
(16) An I/O Efficient Approach for Detecting All Accepting Cycles, IEEE Transactions on Software Engineering, 2015, 第 3 作者
(17) An I/O Efficient Model Checking Algorithm for Large-Scale Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2015, 第 4 作者
(18) CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability, 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), 2015, 第 1 作者
(19) An effective variable selection heuristic in SLS for weighted Max-2-SAT, Journal of Heuristics, 2015, 第 1 作者
(20) Two Weighting Local Search for Minimum Vertex Cover, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), 2015, 第 1 作者
(21) Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015, 第 1 作者
(22) CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability, IEEE Transactions on Computers, 2015, 通讯作者
(23) Clause States Based Configuration Checking in Local Search for Satisfiability, IEEE Transactions on Cybernetics, 2015, 第 2 作者
(24) More efficient two-mode stochastic local search for random 3-satisfiability, Applied Intelligence, 2014, 第 3 作者
(25) Tailoring Local Search for Partial MaxSAT, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, 第 1 作者
(26) Scoring Functions Based on Second Level Score for k-SAT with Long Clauses, Journal of Artificial Intelligence Research, 2014, 第 1 作者
(27) Double Configuration Checking in Stochastic Local Search for Satisfiability, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, 通讯作者
(28) A clique-superposition model for social networks, SCIENCE CHINA Information Sciences, 2013, 第 2 作者
(29) Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability, Proceedings of 19th International Conference on Principles and Practice of Constraint Programming (CP 2013), 2013, 第 2 作者
(30) Local Search for Boolean Satisfiability with Configuration Checking and Subscore, Artificial Intelligence, 2013, 第 1 作者
(31) Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 2013, 第 1 作者
(32) Improving WalkSAT for Random k-Satisfiability Problem with k greater than 3, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2013), 2013, 第 1 作者
(33) NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover, Journal of Artificial Intelligence Research, 2013, 第 1 作者
(34) Configuration Checking with Aspiration in Local Search for SAT, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), 2012, 第 1 作者
(35) Two New Local Search Strategies for Minimum Vertex Cover, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), 2012, 第 1 作者
(36) Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking, Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012), 2012, 第 3 作者
(37) Local search with edge weighting and configuration checking heuristics for minimum vertex cover, Artificial Intelligence, 2011, 第 1 作者
(38) Local Search with Configuration Checking for SAT, Proceedings of IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI 2011), 2011, 第 1 作者
(39) EWLS: A New Local Search for Minimum Vertex Cover, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), 2010, 第 1 作者

科研活动

   
科研项目
( 1 ) 基于高效I/O模型检测的大规模Web服务验证研究, 参与, 国家级, 2014-01--2017-12
( 2 ) 网络空间大数据的表示、度量与语义理解, 参与, 国家级, 2014-01--2018-12
( 3 ) 最大可满足性问题的局部搜索算法, 主持, 国家级, 2016-01--2018-12
( 4 ) 中国科学院青年创新促进会基金, 主持, 部委级, 2017-01--2020-12

指导学生

现指导学生

李元杰  硕士研究生  081202-计算机软件与理论  

雷震东   硕士研究生  081202-计算机软件与理论  

王浩然  硕士研究生  085211-计算机技术  

傅英杰   硕士研究生  081202-计算机软件与理论