基本信息
蔡少伟 男 硕导 中国科学院软件研究所
电子邮件： caisw@ios.ac.cn
英文主页：http://lcs.ios.ac.cn/~caisw/
通信地址： 北京市海淀区中关村南四街4号中国科学院软件园区5号楼218
邮政编码： 100190
研究领域本人对人工智能和算法设计有广泛的兴趣，主要研究方向包括：难解问题的算法设计和现实求解，自动推理，组合优化，启发式算法，图搜索。
招生信息1）招收硕士研究生，欢迎报考。最看重的是：对学术研究本身的兴趣?。其他要求：较好的数学能力，特别是离散数学和概率论；较好的算法基础；扎实的编程能力（最好是C/C++，其他语言也可）。

2）常年招收实习生，欢迎有兴趣的研究生或高年级本科生联系我，就读于北京高校的学生优先。实习研究方向包括（但不限于）：a，NP难问题求解；b，启发式算法及其在相关领域（组合优化，机器学习，软件工程）的应用；c，大图搜索；d，命题逻辑可满足性的判定（SAT）和优化问题的高效算法。
招生专业081202


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

教育背景2008-09--2012-07 北京大学 博士
2004-09--2008-07 华南理工大学 学士

工作经历

工作简历2014-07~现在, 中国科学院软件研究所, 副研究员
2012-07~2014-07,National ICT Australia (NICTA), Student Researcher
2008-09~2012-07,北京大学, 博士
2004-09~2008-07,华南理工大学, 学士


社会兼职2015-09-01-今,AAAI 2016, IJCAI 2016, Program Committee member
2014-12-13-今,Frontinese of Computer Sciences, Yong Associate Editor
2014-09-01-今,AAAI 2015, ISICA 2015, Program Committee member

教授课程
出版信息

发表论文（1） Two Efficient Local Search Algorithms for Maximum Weight Clique Problem, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), 2016, 第 2 作者
（2） Fast Solving Maximum Weight Clique in Massive Graphs, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016, 第 1 作者
（3） 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 作者
（4） Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation, The Computer Journal, 2015, 第 1 作者
（5） An I/O Efficient Approach for Detecting All Accepting Cycles, IEEE Transactions on Software Engineering, 2015, 第 3 作者
（6） An I/O Efficient Model Checking Algorithm for Large-Scale Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2015, 第 4 作者
（7） 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 作者
（8） An effective variable selection heuristic in SLS for weighted Max-2-SAT, Journal of Heuristics, 2015, 第 1 作者
（9） Two Weighting Local Search for Minimum Vertex Cover, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), 2015, 第 1 作者
（10） 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 作者
（11） CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability, IEEE Transactions on Computers, 2015, 第 2 作者
（12） Clause States Based Configuration Checking in Local Search for Satisfiability, IEEE Transactions on Cybernetics, 2015, 第 2 作者
（13） Tailoring Local Search for Partial MaxSAT, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, 第 1 作者
（14） Scoring Functions Based on Second Level Score for k-SAT with Long Clauses, Journal of Artificial Intelligence Research, 2014, 第 1 作者
（15） Double Configuration Checking in Stochastic Local Search for Satisfiability, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, 第 2 作者
（16） A clique-superposition model for social networks, SCIENCE CHINA Information Sciences, 2013, 第 2 作者
（17） 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 作者
（18） Local Search for Boolean Satisfiability with Configuration Checking and Subscore, Artificial Intelligence, 2013, 第 1 作者
（19） 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 作者
（20） 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 作者
（21） NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover, Journal of Artificial Intelligence Research, 2013, 第 1 作者
（22） Configuration Checking with Aspiration in Local Search for SAT, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), 2012, 第 1 作者
（23） Two New Local Search Strategies for Minimum Vertex Cover, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), 2012, 第 1 作者
（24） Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking, Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012), 2012, 第 3 作者
（25） Local search with edge weighting and configuration checking heuristics for minimum vertex cover, Artificial Intelligence, 2011, 第 1 作者
（26） Local Search with Configuration Checking for SAT, Proceedings of IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI 2011), 2011, 第 1 作者
（27） 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

指导学生现指导学生

李元杰 硕士研究生 081202-计算机软件与理论