Shuolin Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT. | Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li |
| 2025 | AAAI | Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT. | Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Many |
| 2025 | ICTAI | Integer Linear Programming Preprocessing for Maximum Satisfiability. | Jialu Zhang, Chu Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng |
| 2024 | CVPR | Deep Generative Data Assimilation in Multimodal Setting. | Yongquan Qu, Juan Nathaniel, Shuolin Li, Pierre Gentine |
| 2023 | IJCAI | 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 |