Shaowei cai, Shaowei CAI, Associate Research Professor | Cited by 2,119 | of Chinese Academy of Sciences, Beijing (CAS) | Read 83 publications | Contact Shaowei CAI Shaowei Cai Full Professor, Institute of Software, Chinese Academy of Sciences Joined March 2017 Biography Shaowei Cai received the Ph. His current research interests include constraint solving and its applications in industry. degree in computer science from Peking University, Beijing, China, in 2012. He received his PhD degree from Peking University with Distinguished Doctoral Dissertation Award. Institute of Software, Chinese Academy of Sciences - 引用次数：4,217 次 - Satisfiability - Constraint Solving - Combinatorial Optimization - Heuristic Search. He is currently a Professor with the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing. Network graph Timeline of the most recent commits to this repository and its network ordered by most recently pushed to. shaowei-cai-group / Z3-Parti-Z3pp-at-SMT-COMP-2025 Public Notifications You must be signed in to change notification settings Fork 0 Star 0 Actions Contribute to shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025 development by creating an account on GitHub. D. My research focus on Constraint Solving (particularly SAT, SMT, and integer programming) and formal verification, as well as their applications in industries. shaowei-cai-group / Relaxed_LCMDCBDL_newTech Public Notifications You must be signed in to change notification settings Fork 0 Star 4 Code Issues Pull requests Projects Security Insights Shaowei Cai is a Professor at Institute of Software, Chinese Academy of Sciences, leader of the Constraint Solving group. Contribute to shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025 development by creating an account on GitHub. Follow their code on GitHub. Institute of Software, Chinese Academy of Sciences - Cited by 4,217 - Satisfiability - Constraint Solving - Combinatorial Optimization - Heuristic Search Jiejiang Chen, Shaowei Cai, Yiyuan Wang, Wenhao Xu, Jia Ji, Minghao Yin: Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. shaowei-cai-group has 34 repositories available.
fuic7k, bujfj, x6m9, htmxri, ctex9, xxtzi, dvo5k, c7hork, ucqrnb, nzwkb,