Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. - Chuan Luo 002; Kaile Su; Shaowei Cai 001 (ECAI, 2012)

Improving WalkSAT for Random k-Satisfiability Problem with k > 3. - Shaowei Cai 001; Kaile Su; Chuan Luo 002 (AAAI, 2013)

FWLS: A Local Search for Graph Coloring. - Wei Wu 042; Chuan Luo 002; Kaile Su (FAW-AAIM, 2013)

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Kaile Su (CP, 2013)

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Chuan Luo 002; Abdul Sattar 001 (J. Artif. Intell. Res., 2013)

Tailoring Local Search for Partial MaxSAT. - Shaowei Cai 001; Chuan Luo 002; John Thornton 001; Kaile Su (AAAI, 2014)

Double Configuration Checking in Stochastic Local Search for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Kaile Su (AAAI, 2014)

More efficient two-mode stochastic local search for random 3-satisfiability. - Chuan Luo 002; Kaile Su; Shaowei Cai 001 (Appl. Intell., 2014)

Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. - Shaowei Cai 001; Chuan Luo 002; Kaile Su (J. Artif. Intell. Res., 2014)

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). - Jinkun Lin; Chuan Luo 002; Shaowei Cai 001; Kaile Su; Dan Hao 001; Lu Zhang 023 (ASE, 2015)

CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. - Shaowei Cai 001; Chuan Luo 002; Kaile Su (SAT, 2015)

Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. - Shaowei Cai 001; Chuan Luo 002; Kaile Su (Comput. J., 2015)

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Zhong Jie; Kaile Su (IEEE Trans. Computers, 2015)

Clause States Based Configuration Checking in Local Search for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Kaile Su; Wei Wu 042 (IEEE Trans. Cybern., 2015)

New local search methods for partial MaxSAT. - Shaowei Cai 001; Chuan Luo 002; Jinkun Lin; Kaile Su (Artif. Intell., 2016)

Hard Neighboring Variables Based Configuration Checking in Stochastic Local Search for Weighted Partial Maximum Satisfiability. - Yi Chu; Chuan Luo 002; Wenxuan Huang; Haihang You; Dongrui Fan (ICTAI, 2017)

From Decimation to Local Search and Back: A New Approach to MaxSAT. - Shaowei Cai 001; Chuan Luo 002; Haochen Zhang (IJCAI, 2017)

A Reduction based Method for Coloring Very Large Graphs. - Jinkun Lin; Shaowei Cai 001; Chuan Luo 002; Kaile Su (IJCAI, 2017)

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). - Chuan Luo 002; Shaowei Cai 001; Kaile Su; Wenxuan Huang (IJCAI, 2017)

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. - Chuan Luo 002; Shaowei Cai 001; Kaile Su; Wenxuan Huang (Artif. Intell., 2017)

An efficient local search algorithm for the winner determination problem. - Haochen Zhang; Shaowei Cai 001; Chuan Luo 002; Minghao Yin (J. Heuristics, 2017)

Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess. - Shaowei Cai 001; Jinkun Lin; Chuan Luo 002 (J. Artif. Intell. Res., 2017)

Neural Feature Search: A Neural Architecture for Automated Feature Engineering. - Xiangning Chen; Bo Qiao 001; Weiyi Zhang; Wei Wu 011; Murali Chintalapati; Dongmei Zhang 001; Qingwei Lin; Chuan Luo 002; Xudong Li; Hongyu Zhang 002; Yong Xu 010; Yingnong Dang; et al. (ICDM, 2019)

Local Search with Efficient Automatic Configuration for Minimum Vertex Cover. - Chuan Luo 002; Holger H. Hoos; Shaowei Cai 001; Qingwei Lin; Hongyu Zhang 002; Dongmei Zhang 001 (IJCAI, 2019)

Towards more efficient meta-heuristic algorithms for combinatorial test generation. - Jinkun Lin; Shaowei Cai 001; Chuan Luo 002; Qingwei Lin; Hongyu Zhang 002 (ESEC/SIGSOFT FSE, 2019)

Empirical investigation of stochastic local search for maximum satisfiability. - Yi Chu; Chuan Luo 002; Shaowei Cai 001; Haihang You (Frontiers Comput. Sci., 2019)

Two-goal Local Search and Inference Rules for Minimum Dominating Set. - Shaowei Cai 001; Wenying Hou; Yiyuan Wang 002; Chuan Luo 002; Qingwei Lin (IJCAI, 2020)

Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. - Zhendong Lei; Shaowei Cai 001; Chuan Luo 002 (IJCAI, 2020)

Intelligent Virtual Machine Provisioning in Cloud Computing. - Chuan Luo 002; Bo Qiao 001; Xin Chen; Pu Zhao 004; Randolph Yao; Hongyu Zhang 002; Wei Wu 011; Andrew Zhou; Qingwei Lin (IJCAI, 2020)

PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation. - Chuan Luo 002; Holger H. Hoos; Shaowei Cai 001 (PPSN (1), 2020)

Efficient incident identification from multi-dimensional issue reports via meta-heuristic search. - Jiazhen Gu; Chuan Luo 002; Si Qin; Bo Qiao 001; Qingwei Lin; Hongyu Zhang 002; Ze Li 005; Yingnong Dang; Shaowei Cai 001; Wei Wu 011; Yangfan Zhou 002; Murali Chintalapati; et al. (ESEC/SIGSOFT FSE, 2020)

Efficient customer incident triage via linking with system incidents. - Jiazhen Gu; Jiaqi Wen; Zijian Wang; Pu Zhao 004; Chuan Luo 002; Yu Kang 006; Yangfan Zhou 002; Li Yang; Jeffrey Sun; Zhangwei Xu; Bo Qiao 001; Liqun Li; et al. (ESEC/SIGSOFT FSE, 2020)

Improving the Performance of Stochastic Local Search for Maximum Vertex Weight Clique Problem Using Programming by Optimization. - Yi Chu; Chuan Luo 002; Holger H. Hoos; Qingwei Lin; Haihang You (CoRR, 2020)

An efficient local search algorithm for solving maximum edge weight clique problem in large graphs. - Yi Chu; Boxiao Liu; Shaowei Cai 001; Chuan Luo 002; Haihang You (J. Comb. Optim., 2020)

Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems. - Chuan Luo 002; Bo Qiao 001; Wenqian Xing; Xin Chen; Pu Zhao 004; Chao Du; Randolph Yao; Hongyu Zhang 002; Wei Wu 011; Shaowei Cai 001; Bing He; Saravanakumar Rajmohan; et al. (AAAI, 2021)

PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector. - Chuan Luo 002; Pu Zhao 004; Chen Chen; Bo Qiao 001; Chao Du; Hongyu Zhang 002; Wei Wu 011; Shaowei Cai 001; Bing He; Saravanakumar Rajmohan; Qingwei Lin (AAAI, 2021)

Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). - Shaowei Cai 001; Chuan Luo 002; Xindi Zhang; Jian Zhang 001 (CP, 2021)

CARE: Infusing Causal Aware Thinking to Root Cause Analysis in Cloud System. - Yong Xu 010; Xu Zhang 024; Chuan Luo 002; Si Qin; Rohit Pandey; Chao Du; Qingwei Lin; Yingnong Dang; Andrew Zhou (HAOC@EuroSys, 2021)

FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation. - Jinkun Lin; Shaowei Cai 001; Bing He; Yingjie Fu; Chuan Luo 002; Qingwei Lin (ICSE (Companion Volume), 2021)

AutoCCAG: An Automated Approach to Constrained Covering Array Generation. - Chuan Luo 002; Jinkun Lin; Shaowei Cai 001; Xin Chen; Bing He; Bo Qiao 001; Pu Zhao 004; Qingwei Lin; Hongyu Zhang 002; Wei Wu 011; Saravanakumar Rajmohan; Dongmei Zhang 001 (ICSE, 2021)

Predictive Job Scheduling under Uncertain Constraints in Cloud Computing. - Hang Dong 004; Boshi Wang; Bo Qiao 001; Wenqian Xing; Chuan Luo 002; Si Qin; Qingwei Lin; Dongmei Zhang 001; Gurpreet Virdi; Thomas Moscibroda (IJCAI, 2021)

A Runtime Analysis of Typical Decomposition Approaches in MOEA/D Framework for Many-objective Optimization Problems. - Zhengxin Huang; Yuren Zhou; Chuan Luo 002; Qingwei Lin (IJCAI, 2021)

A Surrogate Objective Framework for Prediction+Programming with Soft Constraints. - Kai Yan; Jie Yan; Chuan Luo 002; Liting Chen; Qingwei Lin; Dongmei Zhang 001 (NeurIPS, 2021)

Efficient Local Search for Pseudo Boolean Optimization. - Zhendong Lei; Shaowei Cai 001; Chuan Luo 002; Holger H. Hoos (SAT, 2021)

RLNF: Reinforcement Learning based Noise Filtering for Click-Through Rate Prediction. - Pu Zhao 004; Chuan Luo 002; Cheng Zhou; Bo Qiao 001; Jiale He; Liangjie Zhang; Qingwei Lin (SIGIR, 2021)

Effective low capacity status prediction for cloud systems. - Hang Dong 004; Si Qin; Yong Xu 010; Bo Qiao 001; Shandan Zhou; Xian Yang 001; Chuan Luo 002; Pu Zhao 004; Qingwei Lin; Hongyu Zhang 002; Abulikemu Abuduweili; Sanjay Ramanujan; et al. (ESEC/SIGSOFT FSE, 2021)

LS-sampling: an effective local search based sampling approach for achieving high t-wise coverage. - Chuan Luo 002; Binqi Sun; Bo Qiao 001; Junjie Chen 003; Hongyu Zhang 002; Jinkun Lin; Qingwei Lin; Dongmei Zhang 001 (ESEC/SIGSOFT FSE, 2021)

Intelligent container reallocation at Microsoft 365. - Bo Qiao 001; Fangkai Yang; Chuan Luo 002; Yanan Wang; Johnny Li; Qingwei Lin; Hongyu Zhang 002; Mohit Datta; Andrew Zhou; Thomas Moscibroda; Saravanakumar Rajmohan; Dongmei Zhang 001 (ESEC/SIGSOFT FSE, 2021)

NTAM: Neighborhood-Temporal Attention Model for Disk Failure Prediction in Cloud Platforms. - Chuan Luo 002; Pu Zhao 004; Bo Qiao 001; Youjiang Wu; Hongyu Zhang 002; Wei Wu 011; Weihai Lu; Yingnong Dang; Saravanakumar Rajmohan; Qingwei Lin; Dongmei Zhang 001 (WWW, 2021)

Hashing-Accelerated Graph Neural Networks for Link Prediction. - Wei Wu 011; Bin Li 015; Chuan Luo 002; Wolfgang Nejdl (WWW, 2021)

A Surrogate Objective Framework for Prediction+Optimization with Soft Constraints. - Kai Yan; Jie Yan; Chuan Luo 002; Liting Chen; Qingwei Lin; Dongmei Zhang 001 (CoRR, 2021)

Automatic Loss Function Search for Predict-Then-Optimize Problems with Strong Ranking Property. - Boshi Wang; Jialin Yi; Hang Dong 004; Bo Qiao 001; Chuan Luo 002; Qingwei Lin (ICLR, 2022)

Search-based Diverse Sampling from Real-world Software Product Lines. - Yi Xiang 002; Han Huang 002; Yuren Zhou; Sizhe Li; Chuan Luo 002; Qingwei Lin; Miqing Li; Xiaowei Yang 003 (ICSE, 2022)

T-SMOTE: Temporal-oriented Synthetic Minority Oversampling Technique for Imbalanced Time Series Classification. - Pu Zhao 004; Chuan Luo 002; Bo Qiao 001; Lu Wang 029; Saravan Rajmohan; Qingwei Lin; Dongmei Zhang 001 (IJCAI, 2022)

Multi-task Hierarchical Classification for Disk Failure Prediction in Online Service Systems. - Yudong Liu; Hailan Yang; Pu Zhao 004; Minghua Ma; Chengwu Wen; Hongyu Zhang 002; Chuan Luo 002; Qingwei Lin; Chang Yi; Jiaojian Wang; Chenjian Zhang; Paul Wang; et al. (KDD, 2022)

NENYA: Cascade Reinforcement Learning for Cost-Aware Failure Mitigation at Microsoft 365. - Lu Wang 029; Pu Zhao 004; Chao Du; Chuan Luo 002; Mengna Su; Fangkai Yang; Yudong Liu; Qingwei Lin; Min Wang; Yingnong Dang; Hongyu Zhang 002; Saravan Rajmohan; et al. (KDD, 2022)

SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems. - Chuan Luo 002; Qiyuan Zhao; Shaowei Cai 001; Hongyu Zhang 002; Chunming Hu (ESEC/SIGSOFT FSE, 2022)

Sparkle: Toward Accessible Meta-Algorithmics for Improving the State of the Art in Solving Challenging Problems. - Koen van der Blom; Holger H. Hoos; Chuan Luo 002; Jeroen G. Rook (IEEE Trans. Evol. Comput., 2022)

Distributed Evolution Strategies for Black-Box Stochastic Optimization. - Xiaoyu He 001; Zibin Zheng; Chuan Chen 001; Yuren Zhou; Chuan Luo 002; Qingwei Lin (IEEE Trans. Parallel Distributed Syst., 2022)

NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques. - Yi Chu; Shaowei Cai 001; Chuan Luo 002 (AAAI, 2023)

Feature Decomposition for Reducing Negative Transfer: A Novel Multi-Task Learning Method for Recommender System (Student Abstract). - Jie Zhou; Qian Yu; Chuan Luo 002; Jing Zhang (AAAI, 2023)

Towards More Efficient Local Search for Pseudo-Boolean Optimization. - Yi Chu; Shaowei Cai 001; Chuan Luo 002; Zhendong Lei; Cong Peng 004 (CP, 2023)

HiNet: Novel Multi-Scenario & Multi-Task Learning with Hierarchical Information Extraction. - Jie Zhou; Xianshuai Cao; Wenhao Li; Lin Bo; Kun Zhang; Chuan Luo 002; Qian Yu (ICDE, 2023)

Did We Miss Something Important? Studying and Exploring Variable-Aware Log Abstraction. - Zhenhao Li 002; Chuan Luo 002; Tse-Hsun Chen; Weiyi Shang; Shilin He; Qingwei Lin; Dongmei Zhang 001 (ICSE, 2023)

SCHash: Speedy Simplicial Complex Neural Networks via Randomized Hashing. - Xuan Tan; Wei Wu 011; Chuan Luo 002 (SIGIR, 2023)

CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. - Qiyuan Zhao; Chuan Luo 002; Shaowei Cai 001; Wei Wu 011; Jinkun Lin; Hongyu Zhang 002; Chunming Hu (ESEC/SIGSOFT FSE, 2023)

Generating Pairwise Covering Arrays for Highly Configurable Software Systems. - Chuan Luo 002; Jianping Song; Qiyuan Zhao; Yibei Li; Shaowei Cai 001; Chunming Hu (SPLC (A), 2023)

Feature Decomposition for Reducing Negative Transfer: A Novel Multi-task Learning Method for Recommender System. - Jie Zhou; Qian Yu; Chuan Luo 002; Jing Zhang (CoRR, 2023)

Improving the performance of stochastic local search for maximum vertex weight clique problem using programming by optimization. - Yi Chu; Chuan Luo 002; Holger H. Hoos; Haihang You (Expert Syst. Appl., 2023)

Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems. - Chuan Luo 002; Shuangyu Lyu; Qiyuan Zhao; Wei Wu 011; Hongyu Zhang 002; Chunming Hu (ISSTA, 2024)

Scene-wise Adaptive Network for Dynamic Cold-start Scenes Optimization in CTR Prediction. - Wenhao Li; Jie Zhou; Chuan Luo 002; Chao Tang; Kun Zhang; Shixiong Zhao (RecSys, 2024)

Contrastive Learning with Negative Sampling Correction. - Lu Wang 029; Chao Du; Pu Zhao 004; Chuan Luo 002; Zhangchi Zhu; Bo Qiao 001; Wei Zhang 056; Qingwei Lin; Saravan Rajmohan; Dongmei Zhang 001; Qi Zhang 066 (CoRR, 2024)

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis. - Furong Ye; Chuan Luo 002; Shaowei Cai 001 (CoRR, 2024)

An Advanced Reinforcement Learning Framework for Online Scheduling of Deferrable Workloads in Cloud Computing. - Hang Dong 004; Liwen Zhu 003; Zhao Shan; Bo Qiao 001; Fangkai Yang; Si Qin; Chuan Luo 002; Qingwei Lin; Yuwen Yang; Gurpreet Virdi; Saravan Rajmohan; Dongmei Zhang 001; et al. (CoRR, 2024)

Automated Test Suite Generation for Software Product Lines Based on Quality-Diversity Optimization. - Yi Xiang 002; Han Huang 002; Sizhe Li; Miqing Li; Chuan Luo 002; Xiaowei Yang 003 (ACM Trans. Softw. Eng. Methodol., 2024)

NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem. - Chuan Luo 002; Wenqian Xing; Shaowei Cai 001; Chunming Hu (IEEE Trans. Cybern., 2024)

MPSketch: Message Passing Networks via Randomized Hashing for Efficient Attributed Network Embedding. - Wei Wu 011; Bin Li 015; Chuan Luo 002; Wolfgang Nejdl; Xuan Tan (IEEE Trans. Cybern., 2024)

Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis. - Furong Ye; Chuan Luo 002; Shaowei Cai 001 (AAAI, 2025)

Towards High-Strength Combinatorial Interaction Testing for Highly Configurable Software Systems. - Chuan Luo 002; Shuangyu Lyu; Wei Wu 011; Hongyu Zhang 002; Dianhui Chu; Chunming Hu (ICSE, 2025)

Sketching Very Large-scale Dynamic Attributed Networks More Practically. - Wei Wu 011; Shiqi Li; Ling Chen 006; Fangfang Li 004; Chuan Luo 002 (WWW, 2025)

Optimizing local search-based partial MaxSAT solving via initial assignment prediction. - Chanjuan Liu; Guangyuan Liu; Chuan Luo 002; Shaowei Cai 001; Zhendong Lei; Wenjie Zhang 007; Yi Chu; Guojing Zhang (Sci. China Inf. Sci., 2025)

No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups. - Zhuo Wu; Zan Wang; Chuan Luo 002; Xiaoning Du 001; Junjie Chen 003 (Proc. ACM Softw. Eng., 2025)

Solving the t-Wise Coverage Maximum Problem via Effective and Efficient Local Search-Based Sampling. - Chuan Luo 002; Jianping Song; Qiyuan Zhao; Binqi Sun; Junjie Chen 003; Hongyu Zhang 002; Jinkun Lin; Chunming Hu (ACM Trans. Softw. Eng. Methodol., 2025)

Time- and Space-Efficiently Sketching Billion-Scale Attributed Networks. - Wei Wu 011; Shiqi Li; Mi Jiang; Chuan Luo 002; Fangfang Li 004 (IEEE Trans. Knowl. Data Eng., 2025)

Towards Effective Local Search for Qubit Mapping. - Chuan Luo 002; Shenghua Cao; Shanyu Guo; Chunming Hu (IEEE Trans. Computers, 2025)