Zaslat SMS: Binary decision diagrams :