Shuolin Li

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Maximum Satisfiability

Selection Strategy

Top Venues

Int. J. Softw. Informatics

Commun. Nonlinear Sci. Numer. Simul.

Publications

Yongquan Qu, Juan Nathaniel, Shuolin Li, Pierre Gentine
Deep Generative Data Assimilation in Multimodal Setting. CoRR (2024)
Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
A Tableau Calculus for Signed Maximum Satisfiability. ISMVL (2023)
Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers. IJCAI (2023)
Yidan Ai, Huilin Wang, Shuolin Li, Wenxin Huai
Solute transport in laminar channel flows with floating vegetation islands: Dispersion and vegetation absorption. Commun. Nonlinear Sci. Numer. Simul. 116 (2023)
Mao Luo, Chumin Li, Xinyun Wu, Shuolin Li, Zhipeng Lv
Branching Strategy Selection Approach Based on Vivification Ratio. Int. J. Softw. Informatics 12 (1) (2022)
Mao Luo, Chu-Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü
Branching Strategy Selection Approach Based on Vivification Ratio. CoRR (2021)