Improved Methods to Solve Nonlinear Invariants with Low Algebraic Degree for Linear Transformation. - Wang, Zebin; Jin, Chenhui; Zhang, Jiyan; Cui, Ting (Theory of Computing Systems, 2025)