发送短信 : Consistency techniques for linear arithmetic and functional constraints /