Ricardo Hernandes Fernandes,  Francisco Assis Moreira do Nascimento. 

Neste trabalho, é apresentado um pacote para processamento distribuído de ROBDDs.Com este pacote, de maneira transparente para o programador, ROBDDs complexos sãoparticionados e as operações a serem realizadas sobre eles são distribuídas pelos nodos de ummulticomputador. Com esta abordagem é possível se manipular ROBDDs grandes, envolvendomuitas variáveis, mas reduzindo o tempo de processamento necessário para efetuá-los.

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2002/0021.pdf

Processando consulta.