发送短信 : Advances in design automation, 1991 /