Resolviendo Problemas de Satisfacción de Restricciones de Conjuntos usando ROBDDs