二元矩图

什么是二元矩图二元矩图（BMD）是二元决策图（BDD）的一个概括，适用于域上的线性函数，如布尔函数（像BDD），但也适用于整数或实数。它们可以处理布尔函数，...