Algorithms; Mathematical programming; Computer program verification; Binaryarithmetic; Mathematical models; Linear systems; Computations; Decision making; Computer aided design; Matrices(Mathematics); Efficiency; Variables; Limitations; Hybrid systems; Ci;
机译:有关多终端二进制决策图抽象操作的一些说明
机译:紧凑型二进制决策图库在重要工业问题上的新应用
机译:审查分支程序和二元决策图:理论与应用
机译:基于多终端零抑制二元决策图的联盟博弈的紧凑表示方案
机译:基于二进制决策图包的多值决策图的设计和实现。
机译:基于强相关金属氧化物的多端子晶体管样器件在神经形态应用中的应用
机译:关于多终端二元决策图的抽象操作的一些注记⋆