Optimizing Constraint Solving via Dynamic Programming. - Shu Lin 003; Na Meng 001; Wenxin Li 005 (IJCAI, 2019)

PDL: Scaffolding Problem Solving in Programming Courses. - Shu Lin 003; Na Meng 001; Dennis G. Kafura; Wenxin Li 005 (ITiCSE (1), 2021)

Generating efficient solvers from constraint models. - Shu Lin 003; Na Meng 001; Wenxin Li 005 (ESEC/SIGSOFT FSE, 2021)