Αποστολή με SMS: Logic minimization algorithms for VLSI synthesis