A Comparison of Parallel Approaches for Algebraic Factorization in Logic Synthesis