蔡少偉

蔡少偉，男，碩導，北京大學博士畢業，現為中國科學院軟體研究所副研究員。

基本信息

通信地址： 北京市海淀區中關村南四街4號中國科學院軟體園區5號樓218

研究領域

本人對人工智慧和算法設計有廣泛的興趣，主要研究方向包括：難解問題的算法設計和現實求解，組合最佳化，啟發式算法及其套用，圖搜尋，自動推理。

教育背景

2008-09--2012-07 北京大學 博士

2004-09--2008-07 華南理工大學 學士

工作經歷

2014-07~現在, 中國科學院軟體研究所, 副研究員

教授課程

高級算法設計與分析

獎勵信息

（1） 2014國際SAT比賽Hard-combinatorial組 亞軍, 院級, 2014

（2） 北京大學優秀博士論文獎, 院級, 2012

（3） 2012國際SAT比賽隨機組 冠軍, 院級, 2012

（4） 北京市優秀畢業生, 院級, 2012

（5） 北京大學學術創新獎, 院級, 2011

發表論文

（1） New local search methods for partial MaxSAT, Artificial Intelligence, 2016, 第 1 作者

（2） Two Efficient Local Search Algorithms for Maximum Weight Clique Problem, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), 2016, 第 2 作者

（3） Fast Solving Maximum Weight Clique in Massive Graphs, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016, 第 1 作者

（4） 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 作者

（5） Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation, The Computer Journal, 2015, 第 1 作者

（6） An I/O Efficient Approach for Detecting All Accepting Cycles, IEEE Transactions on Software Engineering, 2015, 第 3 作者

（7） An I/O Efficient Model Checking Algorithm for Large-Scale Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2015, 第 4 作者

（8） 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 作者

（9） An effective variable selection heuristic in SLS for weighted Max-2-SAT, Journal of Heuristics, 2015, 第 1 作者

（10） Two Weighting Local Search for Minimum Vertex Cover, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), 2015, 第 1 作者

（11） 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 作者

（12） CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability, IEEE Transactions on Computers, 2015, 第 2 作者

（13） Clause States Based Configuration Checking in Local Search for Satisfiability, IEEE Transactions on Cybernetic, 第 2 作者

（14） More efficient two-mode stochastic local search for random 3-satisfiability, Applied Intelligence, 第 3 作者

（16） Scoring Functions Based on Second Level Score for k-SAT with Long Clauses, Journal of Artificial Intelligence Research, 第 1 作者

（17） Double Configuration Checking in Stochastic Local Search for Satisfiability, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence 第 2 作者

（18） A clique-superposition model for social networks, SCIENCE CHINA Information Sciences, 第 2 作者

（19） Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability, Proceedings of 19th International Conference on Principles and Practice of Constraint Programming第 2 作者

（20） Local Search for Boolean Satisfiability with Configuration Checking and Subscore, Artificial Intelligence第 1 作者

（21） Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses, Proceedings of the 23rd International Joint Conference on Artificial Intelligence 第 1 作者

（22） Improving WalkSAT for Random k-Satisfiability Problem with k greater than 3, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2013)第 1 作者

（23） NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover, Journal of Artificial Intelligence Research第 1 作者

（24） Configuration Checking with Aspiration in Local Search for SAT, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012)第 1 作者

（25） Two New Local Search Strategies for Minimum Vertex Cover, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012)第 1 作者

（26） Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking, Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012)

（27） Local search with edge weighting and configuration checking heuristics for minimum vertex cover, Artificial Intelligence

（28） Local Search with Configuration Checking for SAT, Proceedings of IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI 2011)

（29） EWLS: A New Local Search for Minimum Vertex Cover, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010)

科研項目

（ 1 ） 基於高效I/O模型檢測的大規模Web服務驗證研究, 參與, 國家級

（ 2 ） 網路空間大數據的表示、度量與語義理解, 參與, 國家級

（ 3 ） 最大可滿足性問題的局部搜尋算法, 主持, 國家級