發送短信: Tractable Combinations of Global Constraints