Two Improved Constraint-Solving Algorithms Based on lmaxRPC3rm. - Xirui Pan; Zhuyuan Cheng; Yonggang Zhang 002 (Symmetry, 2023)