SMS versenden: Resolution methods for the decision problem /