複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/蔡少偉/20135684
複製
複製成功

蔡少偉

（中國科學院軟件研究所副研究員）

鎖定
蔡少偉，男，博導，北京大學博士畢業，現為中國科學院軟件研究所研究員。 [1] 
中文名
蔡少偉
畢業院校
北京大學
學位/學歷
博士
任職院校
中國科學院軟件研究所

目錄

  1. 1 基本信息
  2. ▪ 研究領域
  3. ▪ 教育背景
  1. ▪ 工作經歷
  2. ▪ 教授課程
  3. 2 獎勵信息
  1. 3 發表論文
  2. 4 科研項目

蔡少偉基本信息

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

蔡少偉研究領域

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

蔡少偉教育背景

2012-07--2014-07 Griffith University (jointly with National ICT Australia) 應用數學 博士
2008-09--2012-07 北京大學 博士
2004-09--2008-07 華南理工大學 學士

蔡少偉工作經歷

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

蔡少偉教授課程

高級算法設計與分析、離散數學

蔡少偉獎勵信息

  • 中科院優秀導師，2021
  • 智源青年科學家，2020
  • 中科院軟件所 傑出青年，2018
  • 中科院青促會會員，2017
  • 北京市優秀畢業生, 2012
  • 北京大學優秀博士論文獎，2012
  • 北京大學學術創新獎, 2011

蔡少偉發表論文

  1. Shaowei Cai, Jinkun Lin, Yiyuan Wang: A Semi-Exact lgorithm for Quickly Computing a Maximum Weight Clique in Large Sparse Graphs, J. Artif. Intell. Res. 72: 39-67 (2021)
  2. Shaowei Cai*, Xindi Zhang: Deep Cooperation of CDCL and Local Search for SAT, SAT 2021 [最佳論文獎]
  3. Zhendong Lei, Shaowei Cai*, Chuan Luo, Holger H. Hoos: Efficient Local Search for Pseudo Boolean Optimization. SAT 2021
  4. Jinkun Lin, Shaowei Cai*, Bing He, Yingjie Fu, Chuan Luo, Qingwei Lin: FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation. ICSE 2021
  5. Shaowei Cai*, Xindi Zhang: Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search, 26th International Conference on Principles and Practice of Constraint Programming (CP 2020).
  6. Shaowei Cai*, Zhendong Lei: Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability, Artificial Intelligence (AIJ), 287(2020)103354
  7. Chuan Luo, Holger Hoos, Shaowei Cai: PbO-CCSAT: Boosting Local Search for Satisfiability using Programming by Optimisation, 16th International Conference on Parallel Problem Solving from Nature (PPSN 2020), Leiden, The Netherlands, September 5-9, 2020
  8. Shaowei Cai*, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin: Two-goal Local Search and Inference Rules for Minimum Dominating Set, 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Kyoto, January 5-10, 2021
  9. Zhendong Lei, Shaowei Cai*, Chuan Luo: Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints, 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Kyoto, January 5-10, 2021
  10. Bohan Li, Xindi Zhang, Shaowei Cai*, Jinkun Lin, YiyuanWang, Christian Blum: NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set, 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Kyoto, January 5-10, 2021
  11. Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang: NLocalSAT: Boosting Local Search with Solution Prediction, 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Kyoto, January 5-10, 2021
  12. Zhendong Lei, Shaowei Cai*: Solving Set Cover and Dominating Set via Maximum Satisfiability, Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020), New York, USA, February 7-12, 2020.
  13. Yiyuan Wang, Shaowei Cai*, Shiwei Pan, Ximing Li, Minghao Yin*: Reduction and Local Search for Weighted Graph Coloring Problem, Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020), New York, USA, February 7-12, 2020.
  14. Peilin Chen#, Hai Wan#, Shaowei Cai#*, Jia Li, Haicheng Chen: Local Search with Dynamic-threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem, Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020), New York, USA, February 7-12, 2020.
  15. Yiyuan Wang#, Shaowei Cai#*, Jiejiang Chen, Minghao Yin: SCCWalk: An Efficient Local Search Algorithm and Its Improvements for Maximum Weight Clique Problem, Artificial Intelligence (AIJ), 280: 103230 (2020). Co-first author
  16. Yingjie Fu, Zhendong Lei, Shaowei Cai*, Jinkun Lin, Haoran Wang: WCA: A weighting local search for constrained combinatorial test optimization, Information & Software Technology 122: 106288 (2020)
  17. Yi Chu, Boxiao Liu, Shaowei Cai, Chuan Luo, Haihang You: An efficient local search algorithm for solving maximum edge weight clique problem in large graphs, Journal of Combinatorial Optimization 39(4): 933-954 (2020)
  18. Yuren Zhou, Xiaoyu He, Yi Xiang, Shaowei Cai: A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation, Artificial Intelligence (AIJ) 276: 105-129 (2019).
  19. Shaowei Cai*, Yuanjie Li, Wenying Hou, Haoran Wang: Towards faster local search for minimum weight vertex cover on massive graphs, Information Sciences 471 (2019) 64–79.
  20. Zhendong Lei, Shaowei Cai*: NuDist: An Efficient Local Search Algorithm for Weighted Partial MaxSAT, The Computer Journal (2019), doi: 10.1093/comjnl/bxz063
  21. Yi Chu, Chuan Luo, Shaowei Cai, Haihang You: Empirical investigation of stochastic local search for maximum satisfiability. Frontiers of Computer Science 13(1): 86-98 (2019)
  22. Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang, Dongmei Zhang: Local Search with Efficient Automatic Configuration for Minimum Vertex Cover, 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, August 10-16, 2019.
  23. Jinkun Lin, Shaowei Cai*, Chuan Luo, Qingwei Lin, and Hongyu Zhang: Towards more efficient meta-heuristic algorithms for combinatorial test generation, 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2019), Tallinn, Estonia, August 26-30, 2019.
  24. Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai: An Automatic Proving Approach to Parameterized Verification, ACM Transactions on Computational Logic (TOCL) 19(4): 27:1-27:25 (2018).
  25. Yiyuan Wang, Shaowei Cai*, Minghao Yin: New heuristic approaches for maximum balanced biclique problem, Information Science 432: 362-375(2018).
  26. Kenji Kanazawa, Shaowei Cai: FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT, 12th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2018), Hanoi, Vietnam, September 12-14, 2018
  27. Shaowei Cai*, Wenying Hou, Jinkun Lin, Yuanjie Li: Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies, 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Stockholm, Sweden, July 13-19, 2018.
  28. Zhendong Lei, Shaowei Cai*: Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT, 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Stockholm, Sweden, July 13-19, 2018.
  29. Yiyuan Wang, Shaowei Cai*, Jiejiang Chen, Minghao Yin*: A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs, 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Stockholm, Sweden, July 13-19, 2018.
  30. Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao: NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem, Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018), Hilton New Orleans Riverside, New Orleans, Louisiana, USA, February 2–7, 2018
  31. Chuan Luo, Shaowei Cai*, Kaile Su, Wenxuan Huang: CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability, Artificial Intelligence (AIJ) 243: 26-44 (2017)
  32. Shaowei Cai*, Jinkun Lin, Chuan Luo: Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess, Journal of Artificial Intelligence Research (JAIR) 59: 463-494 (2017).
  33. Yiyuan Wang, Shaowei Cai, Minghao Yin: Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function, Journal of Artificial Intelligence Research (JAIR) 58: 267-295 (2017).
  34. Haochen Zhang, Shaowei Cai, Chuan Luo, Minghao Yin: An efficient local search algorithm for the winner determination problem. Journal of Heuristics 23(5): 367-396 (2017)
  35. Shaowei Cai*, Chuan Luo, Haochen Zhang: From Decimation to Local Search and Back: A New Approach to MaxSAT, 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 19-25, 2017.
  36. Jinkun Lin, Shaowei Cai*, Chuan Luo, Kaile Su: A Reduction based Method for Coloring Very Large Graphs, 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 19-25, 2017.
  37. Chuan Luo, Shaowei Cai*, Kaile Su, Wenxuan Huang: CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability, 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 19-25, 2017.
  38. Yiyuan Wang, Shaowei Cai, Minghao Yin: Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function, 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 19-25, 2017.
  39. Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, Kai Wang: 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), Bern, Switzerland, April 20-22, 2017
  40. Shaowei Cai*, Chuan Luo, Jinkun Lin, Kaile Su: New local search methods for partial MaxSAT, Artificial Intelligence (AIJ) 240: 1-18 (2016).
  41. Shaowei Cai*, Jinkun Lin: Fast Solving Maximum Weight Clique Problem in Massive Graphs, 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9-15, 2016.
  42. Yiyuan Wang, Shaowei Cai, Minghao Yin: Two Efficient Local Search Algorithms for Maximum Weight Clique Problem, Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), Phoenix, Arizona USA, February 12–17, 2016.
  43. Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai: A novel approach to parameterized verification of cache coherence protocols, 34th IEEE International Conference on Computer Design (ICCD 2016), Phoenix, USA, October 3-5, 2016.
  44. Shohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga: An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search. SIGARCH Computer Architecture News 44(4): 32-37 (2016)
  45. Chuan Luo, Shaowei Cai*, Wei Wu, Zhong Jie, Kaile Su: CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability, IEEE Transactions on Computers (ToC) 64(7): 1830-1843 (2015).
  46. Shaowei Cai*, Chuan Luo, Kaile Su: Improving WalkSAT By Effective Tie-breaking and Efficient Implementation, The Computer Journal (2015) 58 (11): 2864-2875.
  47. Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu: Clause States Based Configuration Checking in Local Search for Satisfiability, IEEE Transactions on Cybernetics, 45(5): 1014-1027 (2015).
  48. Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang: An I/O Efficient Model Checking Algorithm for Large-Scale Systems, IEEE Transactions on VLSI systems, 23(5): 905-915 (2015).
  49. Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang: An I/O Efficient Approach for Detecting All Accepting Cycles, IEEE Transactions Software Engineering. (TSE) 41(8): 730-744 (2015).
  50. Shaowei Cai, Zhong Jie, Kaile Su: An effective variable selection heuristic in SLS for weighted Max-2-SAT. Journal of Heuristics 21(3): 433-456 (2015)
  51. Shaowei Cai: Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs, 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-31, 2015.
  52. Shaowei Cai*, Jinkun Lin, Kaile Su: Two Weighting Local Search for Minimum Vertex Cover, Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), Austin Texas, USA, January 25–30, 2015.
  53. Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang: TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), Lincoln, Nebraska, USA, November 9–13, 2015.
  54. Shaowei Cai*, Chuan Luo, Kaile Su: CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability, 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), Austin, Texas, USA, September 24-27, 2015.
  55. Shaowei Cai, Chuan Luo, Kaile Su: Scoring Functions Based on Second Level Score for k-SAT with Long Clauses, Journal of Artificial Intelligence Research (JAIR) 51, pp.413-441 (2014).
  56. Shaowei Cai*, Chuan Luo, John Thornton, Kaile Su: Tailoring Local Search for Partial MaxSAT, Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), Québec Convention Center, Québec City, Québec, Canada, July 27–31, 2014.
  57. Chuan Luo, Shaowei Cai*, Wei Wu, Kaile Su: Double Configuration Checking in Stochastic Local Search for Satisfiability, Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), Québec Convention Center, Québec City, Québec, Canada, July 27–31, 2014.
  58. Shaowei Cai*, Kaile Su: Local Search for Boolean Satisfiability with Configuration Checking and Subscore, Artificial Intelligence (AIJ) 204, pp.75-98 (2013).
  59. Shaowei Cai*, Kaile Su: Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses, 23th International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, August 3–9, 2013.
  60. Shaowei Cai*, Kaile Su, Chuan Luo: Improving WalkSAT for Random k-Satisfiability Problem with k＞3, Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI 13), Bellevue, Washington, USA, July 14–18, 2013.
  61. Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar: NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover, Journal of Artificial Intelligence Research (JAIR) 46, pp. 687-716 (2013).
  62. Chuan Luo, Shaowei Cai*, Wei Wu, Kaile Su: Focused Random Walk with configuration Checking and Break Minimum for Satisfiability, 19th International Conference on Principles and Practice of Constraint Programming (CP 2013), Uppsala, Sweden, September 16-20, 2013.
  63. Shaowei Cai, Kaile Su: Configuration Checking with Aspiration in Local Search for SAT, Twenty-Sixth Conference on Artificial Intelligence (AAAI 2012), Toronto, Ontario, Canada, July 22–26, 2012.
  64. Shaowei Cai, Kaile Su, Abdul Sattar: Two New Local Search Strategies for Minimum Vertex Cover, Twenty-Sixth Conference on Artificial Intelligence (AAAI 2012), Toronto, Ontario, Canada, July 22–26, 2012.
  65. Chuan Luo, Kaile Su*, Shaowei Cai: Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking, 20th European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, Aug 27-31, 2012.
  66. Shaowei Cai*, Kaile Su, Abdul Sattar: Local search with edge weighting and configuration checking heuristics for minimum vertex cover, Artificial Intelligence (AIJ) 175(9-10), pp. 1672–1696 (2011).
  67. Shaowei Cai, Kaile Su: Local Search with Configuration Checking for SAT, IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI 2011), Boca Raton, FL, USA, November 7-9, 2011
  68. Shaowei Cai, Kaile Su, Qingliang Chen: EWLS: A New Local Search for Minimum Vertex Cover, Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), Atlanta, Georgia, USA, July 11–15, 2010.

蔡少偉科研項目

（ 1 ） 基於高效I/O模型檢測的大規模Web服務驗證研究, 參與, 國家級
（ 2 ） 網絡空間大數據的表示、度量與語義理解, 參與, 國家級
（ 3 ） 最大可滿足性問題的局部搜索算法, 主持, 國家級 [1] 
參考資料
  • 1.    蔡少偉  ．中國科學院軟件研究所．2022-02-05[引用日期2022-02-05]