基本信息

蔡少伟  男  

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

岗位教授  中国科学院大学

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

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

研究领域

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

招生信息

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

招收实习生,主要面向高年级(大三下,大四)本科生,条件同上,优先考虑不需要解决住宿问题的学生。

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

教育背景

2008-09--2012-07   北京大学   计算机软件与理论 博士

工作经历

   
工作简历
2014-07~现在, 中国科学院软件研究所, 副研究员
2012-07~2014-07,National ICT Australia (NICTA), Student Researcher
社会兼职
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) An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search, SIGARCH Computer Architecture News, 2016, 第 3 作者
(4) A novel approach to parameterized verification of cache coherence protocols, 34th IEEE International Conference on Computer Design, ICCD 2016, 2016, 第 5 作者
(5) New local search methods for partial MaxSAT, Artificial Intelligence, 2016, 第 1 作者
(6) Two Efficient Local Search Algorithms for Maximum Weight Clique Problem, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), 2016, 第 2 作者
(7) Fast Solving Maximum Weight Clique in Massive Graphs, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016, 第 1 作者
(8) 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 作者
(9) Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation, The Computer Journal, 2015, 第 1 作者
(10) An I/O Efficient Approach for Detecting All Accepting Cycles, IEEE Transactions on Software Engineering, 2015, 第 3 作者
(11) An I/O Efficient Model Checking Algorithm for Large-Scale Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2015, 第 4 作者
(12) 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 作者
(13) An effective variable selection heuristic in SLS for weighted Max-2-SAT, Journal of Heuristics, 2015, 第 1 作者
(14) Two Weighting Local Search for Minimum Vertex Cover, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), 2015, 第 1 作者
(15) 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 作者
(16) CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability, IEEE Transactions on Computers, 2015, 通讯作者
(17) Clause States Based Configuration Checking in Local Search for Satisfiability, IEEE Transactions on Cybernetics, 2015, 第 2 作者
(18) More efficient two-mode stochastic local search for random 3-satisfiability, Applied Intelligence, 2014, 第 3 作者
(19) Tailoring Local Search for Partial MaxSAT, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, 第 1 作者
(20) Scoring Functions Based on Second Level Score for k-SAT with Long Clauses, Journal of Artificial Intelligence Research, 2014, 第 1 作者
(21) Double Configuration Checking in Stochastic Local Search for Satisfiability, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, 通讯作者
(22) A clique-superposition model for social networks, SCIENCE CHINA Information Sciences, 2013, 第 2 作者
(23) 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 作者
(24) Local Search for Boolean Satisfiability with Configuration Checking and Subscore, Artificial Intelligence, 2013, 第 1 作者
(25) 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 作者
(26) 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 作者
(27) NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover, Journal of Artificial Intelligence Research, 2013, 第 1 作者
(28) Configuration Checking with Aspiration in Local Search for SAT, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), 2012, 第 1 作者
(29) Two New Local Search Strategies for Minimum Vertex Cover, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), 2012, 第 1 作者
(30) Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking, Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012), 2012, 第 3 作者
(31) Local search with edge weighting and configuration checking heuristics for minimum vertex cover, Artificial Intelligence, 2011, 第 1 作者
(32) Local Search with Configuration Checking for SAT, Proceedings of IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI 2011), 2011, 第 1 作者
(33) 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-计算机软件与理论