Shuolin Li

2 papers in the IJCAI proceedings

IJCAI 2026

Weight-Aware Branch-and-Bound for Weighted Maximum Satisfiability

with Jialu Zhang, Chu-Min Li, Sami Cherif

doi:10.24963/ijcai.2026/270

Details PDF

IJCAI 2023

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers

with Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà

doi:10.24963/ijcai.2023/220

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings