Branching Strategy Selection Approach Based on Vivification Ratio. - Mao Luo; Chu-Min Li 001; Xinyun Wu; Shuolin Li; Zhipeng Lü (CoRR, 2021)

Branching Strategy Selection Approach Based on Vivification Ratio. - Mao Luo; Chumin Li 001; Xinyun Wu; Shuolin Li; Zhipeng Lv (Int. J. Softw. Informatics, 2022)

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers. - Shuolin Li; Chu-Min Li 001; Mao Luo; Jordi Coll; Djamal Habet; Felip Manyà (IJCAI, 2023)

A Tableau Calculus for Signed Maximum Satisfiability. - Shuolin Li; Jordi Coll; Djamal Habet; Chu Min Li 001; Felip Manyà (ISMVL, 2023)

Solute transport in laminar channel flows with floating vegetation islands: Dispersion and vegetation absorption. - Yidan Ai; Huilin Wang; Shuolin Li; Wenxin Huai (Commun. Nonlinear Sci. Numer. Simul., 2023)

Deep Generative Data Assimilation in Multimodal Setting. - Yongquan Qu; Juan Nathaniel; Shuolin Li; Pierre Gentine (CVPR Workshops, 2024)

Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT. - Shuolin Li; Chu-Min Li 001; Jordi Coll; Djamal Habet; Felip Manyà (AAAI, 2025)

Solving weighted Maximum Satisfiability with Branch and Bound and clause learning. - Jordi Coll; Chu Min Li 001; Shuolin Li; Djamal Habet; Felip Manyà (Comput. Oper. Res., 2025)

Integer Linear Programming Preprocessing for Maximum Satisfiability. - Jialu Zhang; Chu-Min Li 001; Sami Cherif; Shuolin Li; Zhifei Zheng (CoRR, 2025)