SMS versenden: Binary decision diagrams :