Li, Shuolin

3 publications

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

CVPRW 2024 Deep Generative Data Assimilation in Multimodal Setting Yongquan Qu, Juan Nathaniel, Shuolin Li, Pierre Gentine

IJCAI 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à