Shuolin Li

According to our database, Shuolin Li authored at least 9 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Integer Linear Programming Preprocessing for Maximum Satisfiability.

Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng

CoRR, June, 2025

Solving weighted Maximum Satisfiability with Branch and Bound and clause learning.

Jordi Coll, Chu Min Li, Shuolin Li, Djamal Habet, Felip Manyà

Comput. Oper. Res., 2025

Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT.

Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Deep Generative Data Assimilation in Multimodal Setting.

Yongquan Qu, Juan Nathaniel, Shuolin Li, Pierre Gentine

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

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

A Tableau Calculus for Signed Maximum Satisfiability.

Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers.

Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Branching Strategy Selection Approach Based on Vivification Ratio.

Mao Luo, Chumin Li, Xinyun Wu, Shuolin Li, Zhipeng Lv

Int. J. Softw. Informatics, 2022

2021

Branching Strategy Selection Approach Based on Vivification Ratio.

Mao Luo, Chu-Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü

CoRR, 2021