故障树利用BDD算法求解最小割集问题的软件实现

shellingar

目前在利用BDD算法进行故障树最小割集的求解，编了软件实现。现遇到一个难点，请各位大神支支招。
本软件主要是利用BDD算法先求解出故障树的全部割集（这一步软件算的非常快）之后，由于我给的算例算出来的割集数量较多（27万多个），在进行“全部割集中寻找最小割集”这一处理步骤时，软件算的非常慢，最后求解出全部最小割集（21万多个）用了40分钟，也是醉了。
请教各位，在“割集中寻找最小割集”这一部分的算法实现上，有什么比较快速的方法吗？