Invia SMS: Binary decision diagrams :