Jinquiang’s project title is “Efficient Incrementality in Learning Solvers.” OPTIMA Deputy Director Prof. Peter Stuckey supervise him.