Aditya Ravi, Ilya Volkovich. New Characterization of the Factor Refinement Algorithm with Applications. In Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo, editors, Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023. pages 490-497, ACM, 2023. [doi]
Abstract is missing.