Shuolin Li

13 papers A* 2B 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Calibrating Geophysical Predictions under Constrained Probabilistic Distributions.
CoRR
Zhewen Hou, Jiajin Sun, Subashree Venkatasubramanian, Peter Jin, Shuolin Li, Tian Zheng
2025 A* conf
Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT.
AAAI
Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà
2025 B conf
Integer Linear Programming Preprocessing for Maximum Satisfiability.
ICTAI
Jialu Zhang, Chu Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng
2025 J jnl
Integer Linear Programming Preprocessing for Maximum Satisfiability.
CoRR
Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng
2025 J jnl
Machine Learning Workflows in Climate Modeling: Design Patterns and Insights from Case Studies.
CoRR
Tian Zheng, Subashree Venkatasubramanian, Shuolin Li, Amy Braverman, Xinyi Ke, Zhewen Hou, Peter Jin, Samarth Sanjay Agrawal
2025 J jnl
Solving weighted Maximum Satisfiability with Branch and Bound and clause learning.
Comput. Oper. Res.
Jordi Coll, Chu Min Li, Shuolin Li, Djamal Habet, Felip Manyà
2024 — conf
Deep Generative Data Assimilation in Multimodal Setting.
CVPR Workshops
Yongquan Qu, Juan Nathaniel, Shuolin Li, Pierre Gentine
2024 J jnl
Deep Generative Data Assimilation in Multimodal Setting.
CoRR
Yongquan Qu, Juan Nathaniel, Shuolin Li, Pierre Gentine
2023 A* conf
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers.
IJCAI
Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
2023 — conf
A Tableau Calculus for Signed Maximum Satisfiability.
ISMVL
Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
2023 J jnl
Solute transport in laminar channel flows with floating vegetation islands: Dispersion and vegetation absorption.
Commun. Nonlinear Sci. Numer. Simul.
Yidan Ai, Huilin Wang, Shuolin Li, Wenxin Huai
2022 J jnl
Branching Strategy Selection Approach Based on Vivification Ratio.
Int. J. Softw. Informatics
Mao Luo, Chumin Li, Xinyun Wu, Shuolin Li, Zhipeng Lv
2021 J jnl
Branching Strategy Selection Approach Based on Vivification Ratio.
CoRR
Mao Luo, Chu-Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü