New Characterization of the Factor Refinement Algorithm with Applications. - Aditya Ravi; Ilya Volkovich (ISSAC, 2023)