Відправити по sms: Logic minimization algorithms for VLSI synthesis /