基本信息
蔡少伟
中国科学院软件研究所 研究员 博导
中国科学院大学 教授
电子邮件： caisw@ios.ac.cn
通信地址： 北京市海淀区中关村南四街4号中国科学院软件园区5号楼218
邮政编码： 100190

部门/实验室：计算机科学国家重点实验室
研究领域




本人对人工智能和算法设计有广泛的兴趣，尤其包括逻辑推理与搜索，组合优化，以及基于学习的自动算法设计。主要研究成果包括：提出格局检测策略，有效解决局部搜索的重要缺陷—循环现象，该策略被广泛用于NP难组合优化问题。对命题逻辑的可满足性判定（SAT）与最大可满足性问题（MaxSAT）设计了创新算法，在相关国际比赛中多次获得冠军。针对大规模组合优化问题，结合搜索与推理的方法设计了高效算法，在多个著名组合优化问题如最大团，图着色，顶点覆盖，集合覆盖等NP难优化问题保持着前沿水平。本人也致力于将算法研究应用于实际项目从而发挥其价值，研究成果被用于多个实际项目，包括美联邦通讯委员会的频谱分配，意大利银行系统优化，腾讯地图相关优化，微软云计算服务平台相关优化等。








招生信息






招收研究生，欢迎报考，希望学生有优秀的编程能力（C/C++），扎实的算法基础， 较好的数学基础（尤其是图论，数理逻辑，概率论）和英语能力。
如有意愿保送研究生，可以尽早联系。


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










招生专业081202-计算机软件与理论

招生方向人工智能，算法设计


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


工作经历
工作简历2017-09~现在,中国科学院软件研究所,研究员
2014-07~2017-09,中国科学院软件研究所,副研究员
2012-07~2014-07,National ICT Australia (NICTA),Student Researcher

社会兼职2019-10-16-今,中科院青年创新促进会 信息与管理分会 会长,
2018-04-27-2018-08-17,程序委员会主席, Constraints and Satisfiability Track, KESM 2018
2017-07-06-2017-07-07,组织委员会委员, Workshop on Hard Computational Problems: Representations, Algorithms and Applications
2014-12-31-今,程序委员会委员（PC Member）, IJCAI 2016-2018, AAAI 2015-2018
2014-12-13-今,Frontinese of Computer Sciences, Yong Associate Editor


教授课程离散数学
高级算法设计与分析


荣誉与奖励






荣誉与奖励

北京智源青年科学家，2020
中科院软件所 ，2018
中科院青促会会员，2017

北京市优秀毕业生, 2012
北京大学优秀博士论文奖，2012
北京大学学术创新奖,2011
国际比赛获奖
全球运筹优化挑战赛-城市物流运输车辆智能调度 Excellence Award, 2018
2018年Sparkle SAT Challenge, 亚军, 2018
2018年国际SAT比赛No-Limits track 冠军, 2018
2018年联合逻辑大会奥林匹克 金牌, 2018
2016年国际SAT比赛Random track 亚军, 2016
2014国际SAT比赛Hard-combinatorial组 亚军, 2014
2012国际SAT比赛,Best Solver Award, 2012
中国机器人暨RoboCup公开赛:足球机器人比赛中型组，一等奖，2007










出版信息
代表性论文（1）Towards more efficient meta-heuristic algorithms for combinatorial test generation,ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2019),2019-08,通讯作者
（2）Local Search with Efficient Automatic Configuration for Minimum Vertex Cover,Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019,2019-08,第3作者
（3）NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem,Proceedings of AAAI 2018,2018,第2作者
（4）New heuristic approaches for maximum balanced biclique problem,Information Sciences,2018,第2作者
（5）A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs,Proceedings of IJCAI 2018,2018,通讯作者
（6）Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT,Proceedings of IJCAI 2018,2018,通讯作者
（7）Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies,Proceedings of IJCAI 2018,2018,第1作者
（8）CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability,Artificial Intelligence,2017,通讯作者
（9）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作者
（10）A Reduction based Method for Coloring Very Large Graphs,Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),2017,通讯作者
（11）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作者
（12）Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess,Journal of Artificial Intelligence Research (JAIR),2017,第1作者
（13）An efficient local search algorithm for the winner determination problem,Journal of Heuristics,2017,第2作者
（14）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作者
（15）An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search,SIGARCH Computer Architecture News,2016,第3作者
（16）A novel approach to parameterized verification of cache coherence protocols,34th IEEE International Conference on Computer Design, ICCD 2016,2016,第5作者
（17）New local search methods for partial MaxSAT,Artificial Intelligence,2016,第1作者
（18）Two Efficient Local Search Algorithms for Maximum Weight Clique Problem,Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016),2016,第2作者
（19）Fast Solving Maximum Weight Clique in Massive Graphs,Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016),2016,第1作者
（20）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作者
（21）Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation,The Computer Journal,2015,第1作者
（22）An I/O Efficient Approach for Detecting All Accepting Cycles,IEEE Transactions on Software Engineering,2015,第3作者
（23）An I/O Efficient Model Checking Algorithm for Large-Scale Systems,IEEE Transactions on Very Large Scale Integration (VLSI) Systems,2015,第4作者
（24）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作者
（25）An effective variable selection heuristic in SLS for weighted Max-2-SAT,Journal of Heuristics,2015,第1作者
（26）Two Weighting Local Search for Minimum Vertex Cover,Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015),2015,第1作者
（27）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作者
（28）CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability,IEEE Transactions on Computers,2015,通讯作者
（29）Clause States Based Configuration Checking in Local Search for Satisfiability,IEEE Transactions on Cybernetics,2015,第2作者
（30）Tailoring Local Search for Partial MaxSAT,Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014),2014,第1作者
（31）Scoring Functions Based on Second Level Score for k-SAT with Long Clauses,Journal of Artificial Intelligence Research,2014,第1作者
（32）Double Configuration Checking in Stochastic Local Search for Satisfiability,Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014),2014,通讯作者
（33）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作者
（34）Local Search for Boolean Satisfiability with Configuration Checking and Subscore,Artificial Intelligence,2013,第1作者
（35）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作者
（36）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作者
（37）NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover,Journal of Artificial Intelligence Research,2013,第1作者
（38）Configuration Checking with Aspiration in Local Search for SAT,Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012),2012,第1作者
（39）Two New Local Search Strategies for Minimum Vertex Cover,Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012),2012,第1作者
（40）Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking,Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012),2012,第3作者
（41）Local search with edge weighting and configuration checking heuristics for minimum vertex cover,Artificial Intelligence,2011,第1作者
（42）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
（ 5 ） Intelligent Software Configuration Analysis and Optimization, 主持,院级,2020-01--2020-12


指导学生已指导学生
李元杰硕士研究生081202-计算机软件与理论
现指导学生
王浩然硕士研究生085211-计算机技术
傅英杰硕士研究生081202-计算机软件与理论
张昕荻硕士研究生081202-计算机软件与理论
何兵硕士研究生081202-计算机软件与理论
雷震东博士研究生081202-计算机软件与理论
李博涵硕士研究生081202-计算机软件与理论