近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
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).
Shaowei Cai*, Zhendong Lei: Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability, Artificial Intelligence (AIJ), 287(2020)103354
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
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
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
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
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
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.
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.
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.
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
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)
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)
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).
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.
Zhendong Lei, Shaowei Cai*: NuDist: An Efficient Local Search Algorithm for Weighted Partial MaxSAT, The Computer Journal (2019), doi: 10.1093/comjnl/bxz063
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)
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.
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.
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).
Yiyuan Wang, Shaowei Cai*, Minghao Yin: New heuristic approaches for maximum balanced biclique problem, Information Science 432: 362-375(2018).
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
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.
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.
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.
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
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)
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).
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).
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)
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.
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.
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.
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.
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
Shaowei Cai*, Chuan Luo, Jinkun Lin, Kaile Su: New local search methods for partial MaxSAT, Artificial Intelligence (AIJ) 240: 1-18 (2016).
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.
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.
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.
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)
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).
Shaowei Cai*, Chuan Luo, Kaile Su: Improving WalkSAT By Effective Tie-breaking and Efficient Implementation, The Computer Journal (2015) 58 (11): 2864-2875.
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).
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).
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).
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)
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.
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.
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.
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.
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).
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.
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.
Shaowei Cai*, Kaile Su: Local Search for Boolean Satisfiability with Configuration Checking and Subscore, Artificial Intelligence (AIJ) 204, pp.75-98 (2013).
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.
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.
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).
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.
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.
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.
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.
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).
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
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.
京公网安备 11010802027423号