机译:几乎所有布尔函数的简化OBDD和最佳一次读取分支程序的大小
机译:几乎是k明智的独立性和布尔函数很难用于一次性分支程序
机译:边界宽度概率OBDD和一次性分支程序是无与伦比的
机译:具有二次大小的一次读取分支程序的函数不一定可测试
机译:关于k稳定函数的随机化OBDD和Read-Once分支程序的大小
机译:与布尔程序和量化布尔公式的PSPACE推理能力相关。
机译:一种基于布尔网络的状态池大小来识别最佳一位摄动的有效算法
机译:关于k稳定函数的随机OBDD的大小和一次读取分支程序
机译:OBDD,FBDD和布尔函数中近似最小值的硬度