中国科学院软件研究所 蔡少伟 研究员 博导 中国科学院大学 教授
作者：科大科院考研网 发表时间：2019-11-20 来源：研招办
科院考研推荐链接：
研究领域
本人对人工智能和算法设计有广泛的兴趣，包括：约束求解，组合优化，启发式搜索，基于学习的自动算法设计；除此之外，本人也致力于将算法研究应用于实际项目从而发挥其价值。
招生信息
招收研究生，欢迎报考，希望学生有优秀的编程能力（C/C++），扎实的算法基础， 较好的数学基础（尤其是图论，数理逻辑，概率论）和英语能力。
如有意愿保送研究生，可以尽早联系。
招收实习生，面向本科生和研究生，条件同上，一般可以在一年之内合作发表一篇CCF A类或B类论文，有实习津贴。
招生专业
081202-计算机软件与理论
招生方向
人工智能，算法设计
教育背景
2012-07--2014-07 Griffith University 应用数学 博士
2008-09--2012-07 北京大学 计算机软件与理论 博士
2004-09--2008-07 华南理工大学 计算机科学与技术 学士
2008-09--2012-07 北京大学 计算机软件与理论 博士
2004-09--2008-07 华南理工大学 计算机科学与技术 学士
工作经历
工作简历
2014-07~现在, 中国科学院软件研究所, 副研究员，研究员
2012-07~2014-07,National ICT Australia (NICTA), Student Researcher
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
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
教授课程
高级算法设计与分析
专利与奖励
奖励信息
（1） 全球运筹优化挑战赛-城市物流运输车辆智能调度， 优胜奖, , 其他, 2018
（2） 2018年Sparkle SAT Challenge, 亚军, 其他, 2018
（3） 2018年国际SAT比赛No-Limits track 冠军, , 其他, 2018
（4） 2018年联合逻辑大会奥林匹克 金牌, , 其他, 2018
（5） 2016年国际SAT比赛Random track亚军, 二等奖, 其他, 2016
（6） 2014国际SAT比赛Hard-combinatorial组 亚军, , 其他, 2014
（7） 北京市优秀毕业生, , 市地级, 2012
（8） 2012国际SAT比赛随机组 冠军, , 其他, 2012
（9） 北京大学优秀博士论文奖, , 研究所（学校）, 2012
（10） 北京大学学术创新奖, , 研究所（学校）, 2011
（2） 2018年Sparkle SAT Challenge, 亚军, 其他, 2018
（3） 2018年国际SAT比赛No-Limits track 冠军, , 其他, 2018
（4） 2018年联合逻辑大会奥林匹克 金牌, , 其他, 2018
（5） 2016年国际SAT比赛Random track亚军, 二等奖, 其他, 2016
（6） 2014国际SAT比赛Hard-combinatorial组 亚军, , 其他, 2014
（7） 北京市优秀毕业生, , 市地级, 2012
（8） 2012国际SAT比赛随机组 冠军, , 其他, 2012
（9） 北京大学优秀博士论文奖, , 研究所（学校）, 2012
（10） 北京大学学术创新奖, , 研究所（学校）, 2011
出版信息
代表性论文
（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 作者
（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
（ 2 ） 网络空间大数据的表示、度量与语义理解, 参与, 国家级, 2014-01--2018-12
（ 3 ） 最大可满足性问题的局部搜索算法, 主持, 国家级, 2016-01--2018-12
（ 4 ） 中国科学院青年创新促进会基金, 主持, 部委级, 2017-01--2020-12
指导学生
已指导学生
李元杰 硕士研究生 081202-计算机软件与理论
现指导学生
王浩然 硕士研究生 085211-计算机技术
傅英杰 硕士研究生 081202-计算机软件与理论
张昕荻 硕士研究生 081202-计算机软件与理论
何兵 硕士研究生 081202-计算机软件与理论
雷震东 博士研究生 081202-计算机软件与理论
