清空筛选条件
清空筛选条件

Is there an implementation of Binary Decision Diagrams (BDDs) in MATLAB?

3 次查看（过去 30 天）
Alexander Wille
Alexander Wille 2016-5-11
评论： Martin Grden 2021-12-13
Hello everyone,
is there an implementation of Binary Decision Diagrams (BDDs) in MATLAB?
I know that BuDDy-based JavaBDD by John Whaley (<http://javabdd.sourceforge.net>) does the job nicely and can be easily integrated into MATLAB because of being written in Java, but because of the versatility of BDDs for today's algorithms involving logic manipulation (fault tree solution, Boolean formula minimization, SAT solvers, ...) I suspect that BDDs already exist somewhere in MATLAB.
Note that the MATLAB classes ClassificationTree and CompactClassificationTree expose very specialized functionality for statistics and machine learning (see e.g. decision tree learning in Wikipedia) - so far that they are hardly comparable to general BDDs (see e.g. BDDs in Wikipedia) . There are no binary operators on BinaryDecisionTrees, which is the basis for the example applications given above.
Thank you for any provided hint!

请先登录，再回答此问题。

回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Predictive Maintenance Toolbox 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by