Shuolin Li (李硕琳)
Assistant Professor · School of Computer Science and Artificial Intelligence · Shanghai University of Finance and Economics
I'm an assistant professor at the School of Computer Science and Artificial Intelligence, Shanghai University of Finance and Economics (SUFE), specializing in exact SAT and MaxSAT solving. I am also interested in exploring broader combinatorial and constraint-based optimization challenges. Before joining SUFE, I was a postdoctoral researcher at the LIS Lab, Aix-Marseille University, where I also received my Ph.D., advised by Prof. Chu-Min Li and Prof. Djamal Habet.
lishuolin (at) mail.sufe.edu.cn
Openings
If you are interested in SAT and MaxSAT solving, solver development, or the application of combinatorial optimization to real-world problems, I would be happy to discuss potential research opportunities. Please feel free to contact me.
News
- [08/2026] Achieved one second place and two third places at the MaxSAT Evaluation 2026.
- [04/2026] One paper accepted at CP 2026.
- [04/2026] One paper accepted at IJCAI 2026.
- [08/2025] Awarded the Silver and Bronze Medals at the SAT Competition 2025.