基本信息

蔡少伟  男  

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

岗位教授 中国科学院大学

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

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

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

研究领域

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

招生信息

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

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

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

教育背景

2012-07--2014-07   Griffith University   应用数学 博士
2008-09--2012-07   北京大学   计算机软件与理论 博士

工作经历

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