Selected Publications

• Jialu Zhang, Chu-Min Li*, Sami Cherif, Shuolin Li*. Weight-Aware Branch-and-Bound for Weighted Maximum Satisfiability. In IJCAI 2026.
• Jialu Zhang, Chu-Min Li*, Sami Cherif, Shuolin Li*. Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT. In CP 2026.
• Jordi Coll, Chu-Min Li, Shuolin Li, Djamal Habet, Felip Manyà. Solving weighted Maximum Satisfiability with Branch and Bound and clause learning. In Computers & Operations Research.
• Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li*, Zhifei Zheng. Integer Linear Programming Preprocessing for Maximum Satisfiability. In ICTAI 2025.
• Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà. Improving the lower bound in branch-and-bound algorithms for maxsat. In AAAI 2025.
• Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà. A new variable ordering for in-processing bounded variable elimination in SAT solvers. In IJCAI 2023.