Shuolin Li

According to our database, Shuolin Li authored at least 12 papers between 2021 and 2026.

Collaborative distances:

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

2026

Revisiting RaBitQ and TurboQuant: A Symmetric Comparison of Methods, Theory, and Experiments.

Jianyang Gao, Yutong Gou, Yuexuan Xu, Jifan Shi, Yongyi Yang, Shuolin Li, Raymond Chi-Wing Wong, Cheng Long

CoRR, April, 2026

2025

Calibrating Geophysical Predictions under Constrained Probabilistic Distributions.

Zhewen Hou, Jiajin Sun, Subashree Venkatasubramanian, Peter Jin, Shuolin Li, Tian Zheng

CoRR, December, 2025

Machine Learning Workflows in Climate Modeling: Design Patterns and Insights from Case Studies.

Tian Zheng, Subashree Venkatasubramanian, Shuolin Li, Amy Braverman, Xinyi Ke, Zhewen Hou, Peter Jin, Samarth Sanjay Agrawal

CoRR, October, 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

Integer Linear Programming Preprocessing for Maximum Satisfiability.

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

Proceedings of the 37th IEEE International Conference on Tools with Artificial Intelligence, 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 Thirty-Ninth AAAI Conference on Artificial Intelligence, 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