Text this: Logic Minimization Algorithms for VLSI Synthesis