Shuolin Li

According to our database, Shuolin Li authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

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