发送短信: Tractable Combinations of Global Constraints