New Characterization of the Factor Refinement Algorithm with Applications.

Aditya Ravi, Ilya Volkovich

Browse the full ISSAC paper archive.