Αποστολή με SMS: Logic Minimization Algorithms for VLSI Synthesis